Active Bibliography

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
23 Domain theory for concurrency – Mikkel Nygaard - 2003
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
34 Operational congruences for reactive systems – James Judi Leifer - 2001
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
263 Relations in Concurrency – Glynn Winskel
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
Adding Enrichments to Refined Interleavings: A New Model for the π-Calculus – Michael Baldamus - 1999
19 A theory of bisimulation for a fragment of concurrent ML with local names – Alan Jeffrey, Julian Rathke - 2003
56 A brief history of process algebra – J. C. M. Baeten - 2004
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
231 Domain Theory in Logical Form – Samson Abramsky - 1991
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
39 A Theory of Bisimulation for the pi-calculus – Davide Sangiorgi - 1993
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992