From Rewrite Rules to Bisimulation Congruences (1998)

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

Active Bibliography

19 A theory of bisimulation for a fragment of concurrent ML with local names – Alan Jeffrey, Julian Rathke - 2003
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
116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
14 Applied π -- A Brief Tutorial – Peter Sewell - 2000
86 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
1 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
65 Location-Independent Communication for Mobile Agents: a Two-Level Architecture – Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce - 1998
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
108 The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) – Joachim Parrow, Björn Victor - 1998
17 Towards Abstractions for Distributed Systems – Martin Berger - 2004
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
9 Constraints as Processes – Björn Victor, Joachim Parrow - 1996
10 Concurrent Constraints in the Fusion Calculus (Extended Abstract) – Björn Victor, Joachim Parrow - 1998
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999