946 search results - page 30 / 190 » Process Algebra and Non-Interference |
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
MFCS
1998
Springer
14 years 2 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...
JLP
2010
13 years 4 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
SOFSEM
2009
Springer
14 years 6 months ago
2009
Springer
ACSD
2008
IEEE
14 years 4 months ago
2008
IEEE
