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. |
|