Action Structures

Action Structures (1992)

by Robin Milner

Citations:

933	Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
2970	Communication and Concurrency – R Milner - 1989
135	Elements of Interaction – Robin Milner - 1993
1224	A calculus of communicating systems – R Milner - 1980
699	A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
19	Categorical Logic of Names and Abstraction in Action Calculi – Dusko Pavlovic - 1993
150	Traced monoidal categories – A Joyal, R Street, D Verity - 1996
290	Functions as processes – R Milner - 1992
426	The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
13	Elementary control structures – A Power - 1996
6	Higher-order action calculi – R Milner - 1994
238	Expressing Mobility in Process Algebras: First-Order and HigerOrder Paradigms – D Sangiorgi - 1992
20	Action Calculi, or Syntactic Action Structures – Robin Milner - 1993
597	Concurrency and automata on infinite sequences – D M R Park - 1981
7	Action calculi and the pi-calculus – R Milner - 1993
783	Using encryption for authentication in large networks of computers – R M Needham, M D Schroeder - 1978
872	On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
97	Communicating and Mobile Systems: the -calculus – R Milner - 1999
725	Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998