1995
A calculus of transition systems (towards universal coalgebra)
Publication
Publication
Presented at the
Three Days of Bisimulation, Amsterdam
Additional Metadata | |
---|---|
, , , , | |
CSLI Publishers, Stanford | |
CSLI Lecture Notes | |
Three Days of Bisimulation | |
Organisation | Computer Security |
Rutten, J. (1995). A calculus of transition systems (towards universal coalgebra). In Modal logic and process algebra : a bisimulation perspective (pp. 231–256). CSLI Publishers, Stanford. |