1989
Structured operational semantics and bisimulation as a congruence (extended abstract)
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming, Stresa
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Colloquium on Automata, Languages and Programming | |
Groote, J. F., & Vaandrager, F. (1989). Structured operational semantics and bisimulation as a congruence (extended abstract). In Automata, Languages and Programming: 15th International Colloquium, Proceedings (pp. 423–438). Springer. |