3 search results - page 1 / 1 » mfcs 1991 |
MFCS
1991
Springer
15 years 6 months ago
1991
Springer
MFCS
1991
Springer
15 years 6 months ago
1991
Springer
146
click to vote
MFCS
1991
Springer
15 years 6 months ago
1991
Springer
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...