2009
Coalgebraic Symbolic Semantics
Publication
Publication
Presented at the
Conference on Algebra and Coalgebra in Computer Science, Udine, Italy
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Conference on Algebra and Coalgebra in Computer Science | |
Organisation | Specification and Analysis of Embedded Systems |
Bonchi, F., & Montanari, U. (2009). Coalgebraic Symbolic Semantics. In Proceedings of Conference on Algebra and Coalgebra in Computer Science 2009 (pp. 173–190). Springer. |