Operational congruences for reactive systems (2001)

by James Judi Leifer
Citations:36 - 4 self

Documents Related by Co-Citation

121 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
75 From Rewrite Rules to Bisimulation Congruences – Peter Sewell - 1998
57 Bigraphs and transitions – Ole Hgh Jensen, Robin Milner - 2003
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
700 Concurrency and automata on infinite sequences – D Park - 1981
153 Elements of Interaction – Robin Milner - 1993
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998