Active Bibliography

5 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
1 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka - 1996
43 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
30 Refinement of Actions and Equivalence Notions for Concurrent Systems – Rob Van Glabbeek, Ursula Goltz - 1998
14 Strategic Directions in Concurrency Research – Rance Cleaveland, Scott A. Smolka, et al. - 1996
2 On the Operational Semantics of Nondeterminism and Divergence – Hakan Erdogmus, Robert Johnston, Michael Ferguson - 1995
3 Concurrency and Concurrent Constraint Programming – Ugo Montanari, Francesca Rossi - 1995
35 A brief history of process algebra – J. C. M. Baeten - 2004
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
94 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
12 Quantales And Observational Semantics – Pedro Resende - 2000
21 Specification Structures and Propositions-as-Types for Concurrency – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
22 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
58 A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems – Insup Lee, Patrice Brémond-Grégoire, Richard Gerber - 1994
24 Relationships between Models of Concurrency – Mogens Nielsen, Vladimiro Sassone, Glynn Winskel - 1994
1 Categorical Models for Fairness and a Fully Abstract Presheaf Semantics of SCCS with Finite Delay – Thomas T. Hildebrandt - 1999
17 A Fully Abstract Presheaf Semantics of SCCS with Finite Delay – Thomas Troels Hildebrandt - 1999
5 Partial-Order Process Algebra (and its Relation to Petri Nets) – J.C.M. Baeten, T. Basten - 2000
2 A Fully Abstract Denotational Model for Observational Congruence – Anna Ingólfsdóttir, Andrea Schalk - 1995