1998
Automata and coinduction (an exercise in coalgebra)
Publication
Publication
Presented at the
International Conference on Concurrency Theory, Nice
Additional Metadata | |
---|---|
Springer (Berlin) | |
Lecture Notes in Computer Science | |
International Conference on Concurrency Theory | |
Organisation | Computer Security |
Rutten, J. (1998). Automata and coinduction (an exercise in coalgebra). In Proceedings of International Conference on Concurrency Theory 1998 (pp. 194–218). Springer (Berlin). |