Elements of Interaction (1993)

by Robin Milner
Venue:COMMUNICATIONS OF THE ACM
Citations:150 - 11 self

Active Bibliography

363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
67 On Asynchronous Communication Semantics – Kohei Honda, Mario Tokoro - 1992
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
4 An Algebraic Theory of Actors and its Application to a Simple Object-Based Language – Gul Agha - 2004
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
34 Action Structures – Robin Milner - 1992
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
29 Beyond Digital Naturalism – Walter Fontana, Günter Wagner, Leo W. Buss - 1994
1 Processes and Games – Kohei Honda - 2003
34 Operational congruences for reactive systems – James Judi Leifer - 2001
100 The reflexive CHAM and the join-calculus – Cedric Fournet , Georges Gonthier
50 Pure bigraphs: structure and dynamics – Robin Milner - 2005
Reduction Theories for Concurrent Calculi – Nobuko Yoshida, Kohei Honda
Design and Implementation of a Programming Language for Concurrent Interactive Systems – Tiark Rompf - 2007
1 A Study of Objects – Paul Hankin - 1999
26 Transition systems, link graphs and Petri nets – James J. Leifer, Robin Milner - 2004
59 Bigraphs and Mobile Processes (revised) – Ole Høgh Jensen, Robin Milner - 2004