1990
Explicit canonical representatives for weak bisimulation equivalence and congruence
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9062 | |
Organisation | Computer Security |
Rutten, J. (1990). Explicit canonical representatives for weak bisimulation equivalence and congruence. Department of Computer Science [CS]. CWI. |