1994
Initial algebra and final coalgebra semantics for concurrency
Publication
Publication
Presented at the
Research and Education in Concurrent Systems International Workshop, Noordwijkerhout
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
Research and Education in Concurrent Systems International Workshop | |
Organisation | Computer Security |
Rutten, J., & Turi, D. (1994). Initial algebra and final coalgebra semantics for concurrency. In A Decade of Concurrency, Reflections and Perspectives (pp. 530–582). Springer. |