Interpreting functions as π-calculus processes: a tutorial (1999)

Cached

Download Links

by Davide Sangiorgi
Citations:1 - 0 self

Active Bibliography

5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
88 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
80 π-Calculus, Internal Mobility, and Agent-Passing Calculi – Davide Sangiorgi - 1995
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
100 The reflexive CHAM and the join-calculus – Cedric Fournet , Georges Gonthier
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
The call-by-value lambda-calculus, the SECD machine, and the pi-calculus – Vasco T. Vasconcelos - 2000
14 Solo Diagrams – Cosimo Laneve, Joachim Parrow, Björn Victor - 2001
64 The π-Calculus in Direct Style – Gerard Boudol - 1997
11 An investigation into Functions as Processes – Davide Sangiorgi - 1993
Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract) – Richard Banach, Franck van Breugel
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
Non-deterministic Lazy it λ-calculus VS it π-calculus – Carolina Lavatelli - 1993
41 Imperative Objects and Mobile Processes – Josva Kleist, Davide Sangiorgi - 1998
30 Coordination Requirements Expressed in Types for Active Objects – Franz Puntigam - 1997