2 search results - page 1 / 1 » Checking Strong Weak Bisimulation Equivalences and Observati... |
ICALP
1998
Springer
13 years 11 months ago
1998
Springer
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...