A Calculus of Mobile Processes, Part II (1989)

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

Active Bibliography

A Formal Process Calculus And Execution Model For Distributed Agent Computing – Jody R. Threet - 1997
Two Bisimilarities in ν-calculus – Kohei Honda
A Universal Reactive Machine – Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen, Andersen Simon, Mrk Morten, Ulrik Srensen - 1997
A Translation of the Pi-Calculus Into MONSTR – Banach Computer, R. Banach, G. Papadopoulos - 1995
A Fully Game Semantics for General References – Samson Abramsky, Kohei Honda, Guy Mccusker - 1998
Mechanized Reasoning about Concurrent Functional Programs – Sava Mintchev, London Wm Js
ROCVM: A Formal Execution Model for High Assurance, Heterogeneous Distributed Computing. – Jody Threet
Logical Observable Entities – Jonathan G. Rossie, Jr. - 1998
Automated Proof Support for Reasoning about Distributed Mobile Programs – B. Karthikeyan, T. R. Vishwanath - 1997
Formalising and Prototyping a Concurrent Object-Based Language – Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava, Ericsson Ab
Modalities in Analysis and Verification – Mads Dam - 1996
A Sort Inference Algorithm for the Polyadic – Calculus Simon, Simon J. Gay, Department Of Computing, Sw Bz - 1993
A Fibration Semantics for Pi-Calculus Modules via Abstract MONSTR . . . – R. Banach - 1996
A Non Functional Calculus: Linear Logic and Concurrency – Corrado Priami, Ugo Solitro, Cristina Borboni - 2000
Conformance and Refinement of Behavior in pi-calculus – Carlos Canal, Ernesto Pimentel, José M. Troya
Typing and Subtyping for Mobile Processes (Extended Abstract) – Benjamin Pierce, Davide Sangiorgi - 1992
Structural Inclusion in the pi-Calculus with Replication – Joost Engelfriet Tjalling, Joost Engelfriet, Tjalling Gelsema - 1998
Action Contraction Using Coupled Simulation – Arend Rensink - 2000
A π-calculus Specification of Prolog – Benjamin Z. Li - 1994
Formalising and prototyping a concurrent object-oriented language (Extended Abstract) – Lars-åke Fredlund, Lars-ake Fredlund, Jari Koistinen, Fredrik Orava