Action Structures (1992)

by Robin Milner
Citations:34 - 1 self

Documents Related by Co-Citation

995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
3200 Communication and Concurrency – R Milner - 1989
150 Elements of Interaction – Robin Milner - 1993
1323 A Calculus of Communicating Systems – R Milner
782 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
21 Categorical Logic of Names and Abstraction in Action Calculi – Dusko Pavlovic - 1993
165 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
313 Functions as processes, in – R Milner - 1990
449 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
14 Fibrational control structures – C Hermida, J Power - 1995
7 Higher-order action calculi – Robin Milner - 1993
258 Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms – D Sangiorgi - 1992
20 Action Calculi, or Syntactic Action Structures – R Milner - 1993
654 Concurrency and automata on infinite sequences – D Park - 1981
860 Using encryption for authentication in large networks of computers – R Needham, M Schroeder - 1978
100 Communicating and mobile systems: the -calculus – Robin Milner - 1999
7 Action calculi and the pi-calculus – R Milner - 1993
1043 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
808 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998