Elements of Interaction (1993)

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

Active Bibliography

375 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
942 Flocks, herds, and schools: a distributed behavioral model – Craig W. Reynolds - 1987
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
506 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989