From Rewrite Rules to Bisimulation Congruences (1998)

by Peter Sewell
Venue:THEORETICAL COMPUTER SCIENCE
Citations:77 - 2 self

Documents Related by Co-Citation

121 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
1418 A Calculus of Communicating Systems – R Milner - 1980
153 Elements of Interaction – Robin Milner - 1993
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
700 Concurrency and automata on infinite sequences – D Park - 1981
35 Operational congruences for reactive systems – James Judi Leifer - 2001