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. Proceedings of Conference on Algebra and Coalgebra in Computer Science 2009, 173–190. |
|