946 search results - page 30 / 190 » Process Algebra and Non-Interference |
114
Voted
LICS
2008
IEEE
15 years 9 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...
108
click to vote
MFCS
1998
Springer
15 years 6 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...
157
Voted
JLP
2010
14 years 9 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...
95
Voted
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
101
Voted
ACSD
2008
IEEE
15 years 9 months ago
2008
IEEE
