Sciweavers

MFCS
1991
Springer
15 years 13 days ago
Models for Concurrency
Mogens Nielsen
92
Voted
MFCS
1991
Springer
15 years 13 days ago
CCS Dynamic Bisimulation is Progressing
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
Ugo Montanari, Vladimiro Sassone