A Calculus of Mobile Processes, Part II (1989)

by Robin Milner , Joachim Parrow , David Walker
Citations:107 - 1 self

Documents Related by Co-Citation

189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989
3219 Communication and Concurrency – R Milner - 1990
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
312 Calculi for synchrony and asynchrony – R Milner - 1983
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
315 Functions as processes – R Milner - 1990
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
20 Terminal call processing in Esterel – G Murakami, R Sethi - 1992
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
163 Interaction nets – Y Lafont - 1990
409 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
1330 A Calculus of Communicating Systems – R Milner - 1980
263 Relations in Concurrency – Glynn Winskel
658 Concurrency and automata on infinite sequences – D Park - 1981
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
105 Modal logics for mobile processes – Robin Milner, Joachim Parrow Y, David Walker Z - 1993
62 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
273 The polyadic -calculus: A tutorial – Robin Milner - 1992