From a Concurrent lambda-calculus to the pi-calculus
by
Roberto M. Amadio
,
Lone Leth
,
Bent Thomsen
Active Bibliography
| 20 | Translating Core Facile – Roberto M. Amadio - 1995 |
| 54 | Localities and Failures – Roberto M. Amadio, Sanjiva Prasad - 1995 |
| Applying π: Towards a Basis for Concurrent Imperative Programming – Martin Odersky - 1995 | |
| 3 | Analysis of Facile Programs: a Case Study – Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen - 1996 |
| 9 | Understanding Mobile Agents via a non-interleaving semantics for Facile – Borgia Degano, R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen - 1996 |
| 87 | Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999 |
| 2 | Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998 |
| 62 | The π-Calculus in Direct Style – Gerard Boudol - 1997 |
| An Analysis of pi-calculus Bisimulations – Roberto M. Amadio, Otmane Ait-mohamed - 1995 | |
| Names of the ß-Calculus Agents Handled Locally – Chiara Bodei, Pierpaolo Degano, Corrado Priami - 1996 | |
| 1 | Handling Locally Names of Mobile Agents – Chiara Bodei, Pierpaolo Degano, Corrado Priami - 1996 |
| 3 | Compiler Correctness for Concurrent Languages – David S. Gladstein, Mitchell Wand - 1994 |
| 9 | Compiler Correctness for Parallel Languages – Mitchell Wand - 1994 |
| 238 | Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997 |
| 4 | Pict Language Definition – Benjamin C. Pierce, David N. Turner - 1996 |
| Automated Proof Support for Reasoning about Distributed Mobile Programs – B. Karthikeyan, T. R. Vishwanath - 1997 | |
| 9 | Constraints as Processes – Björn Victor, Joachim Parrow - 1996 |
| 12 | A Typed Higher-Order Programming Language Based on the Pi-Calculus – Benjamin C. Pierce, Didier Rémy, David N. Turner - 1993 |
| 13 | Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999 |
