Initial Algebra and Final Coalgebra Semantics for Concurrency (1994)

Cached

Download Links

by Jan Rutten , Daniele Turi
Citations:56 - 9 self

Active Bibliography

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
47 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
7 A Structural Co-Induction Theorem – J. J. M. M. Rutten - 1993
Abstract A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi
A Complete Order-theoretic Model for the Algebra of Communicating Processes – Peter M.W. Knijnenburg - 1994
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
734 Notions of Computation and Monads – Eugenio Moggi - 1991