3 search results - page 1 / 1 » mfcs 1991 |
50
Voted
MFCS
1991
Springer
15 years 1 months ago
1991
Springer
51
Voted
MFCS
1991
Springer
15 years 1 months ago
1991
Springer
95
Voted
MFCS
1991
Springer
15 years 1 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...