Elements of Interaction (1993)

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

Documents Related by Co-Citation

3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
315 Functions as processes – R Milner - 1990
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
3219 Communication and Concurrency – R Milner - 1990
658 Concurrency and automata on infinite sequences – D Park - 1981
71 From Rewrite Rules to Bisimulation Congruences – Peter Sewell - 1998
100 The reflexive CHAM and the join-calculus – Cedric Fournet , Georges Gonthier
12 From process calculi to process frameworks – P A Gardner - 2000
108 The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) – Joachim Parrow, Björn Victor - 1998
63 2001): Bigraphical Reactive Systems – Robin Milner
1330 A Calculus of Communicating Systems – R Milner - 1980
21 Constraints for Free in Concurrent Computation – Joachim Niehren, Martin Müller - 1995
34 Action Structures – Robin Milner - 1992
3678 Artificial Intelligence: A Modern Approach – S Russell, P Norvig - 2003
1467 The Sciences of the Artificial – H A Simon - 1969
25 Process algebras with localities – I Castellani - 2001
7 Bigraphs meet double pushouts – H Ehrig - 2002