467 search results - page 3 / 94 » Open bisimulation for aspects |
136
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
106
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
135
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
MFCS
1998
Springer
15 years 7 months ago
1998
Springer