232
Voted
MFCS
15 years 11 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...
|
Theoretical Computer Science