Operational congruences for reactive systems (2001)

by James Judi Leifer
Citations:35 - 4 self

Active Bibliography

de recherche Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 2 – James J. Leifer, James J. Leifer, Thème Réseaux Et Systèmes, Projet Moscova
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
1 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
140 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004