Sciweavers

3 search results - page 1 / 1
» mfcs 1991
Sort
View
MFCS
1991
Springer
14 years 2 months ago
Models for Concurrency
Mogens Nielsen
MFCS
1991
Springer
14 years 2 months 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