A coalgebraic introduction to CSP
Open Access
- 1 January 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 19, 61-80
- https://doi.org/10.1016/s1571-0661(05)80269-5
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Automata and coinduction (an exercise in coalgebra)Published by Springer Nature ,1998
- Models for ConcurrencyDAIMI Report Series, 1993
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982