Sciweavers

2 search results - page 1 / 1
» Checking Strong Weak Bisimulation Equivalences and Observati...
Sort
View
LICS
2010
IEEE
13 years 4 months ago
Weak Equivalences in Psi-Calculi
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...
Magnus Johansson, Jesper Bengtson, Joachim Parrow,...