Operational congruences for reactive systems (2001)

by James Judi Leifer
Citations:34 - 4 self

Active Bibliography

6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
1 A Study of Objects – Paul Hankin - 1999
A Taxonomy of Process Calculi for Distribution and Mobility – Daniele Gorla
A Survey of Name-Passing Calculi and Crypto-Primitives ⋆ – Michele Bugliesi, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone, Università “ca Foscari
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
A Calculus for Cryptographic Protocols -- Lecture Notes – Andrew D. Gordon - 2001
116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
119 Abstractions for mobile computation – Luca Cardelli - 1999
67 On Asynchronous Communication Semantics – Kohei Honda, Mario Tokoro - 1992
150 Elements of Interaction – Robin Milner - 1993
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
26 Transition systems, link graphs and Petri nets – James J. Leifer, Robin Milner - 2004
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
59 Bigraphs and Mobile Processes (revised) – Ole Høgh Jensen, Robin Milner - 2004