Localities and Failures (1995)

Cached

Download Links

by Roberto M. Amadio , Sanjiva Prasad
Venue:In Proc. 14th Foundations of Software Technology and Theoretical Computer Science
Citations:56 - 0 self

Active Bibliography

1 Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with – Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
From a Concurrent lambda-calculus to the pi-calculus – Roberto M. Amadio, Lone Leth, Bent Thomsen
3 Formal Models for Encapsulation, Structure and Hierarchy in Distributed Systems – M.C.W. Geilen - 1999
15 Observing Distribution in Processes: Static and Dynamic Localities – Ilaria Castellani - 1994
9 Understanding Mobile Agents via a non-interleaving semantics for Facile – Borgia Degano, R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen - 1996
3 Analysis of Facile Programs: a Case Study – Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen - 1996
29 History Dependent Automata – Ugo Montanari, Marco Pistore - 2001
8 An Efficient Verifier of Truly Concurrent Properties – Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami - 1995
4 Locality and True-concurrency in calculi for mobile processes – Davide Sangiorgi - 1993
3 Causality for Debugging Mobile Agents – Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen - 1996
14 History-Dependent Automata – Ugo Montanari, Marco Pistore - 1998
20 Translating Core Facile – Roberto M. Amadio - 1995
12 Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract) – Lalita Jategaonkar Jagadeesan, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Radha Jagadeesan - 1995
41 Non-Interleaving Semantics for Mobile Processes – Pierpaolo Degano, Corrado Priami - 1995
29 Causality for Mobile Processes – Pierpaolo Degano, Corrado Priami - 1995
2 Constructing specific SOS semantics for concurrency via abstract interpretation (Extended Abstract) – Ciara Bodei, Corrado Priami
218 KLAIM: a Kernel Language for Agents Interaction and Mobility – Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese - 1997
97 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
4 Pict Language Definition – Benjamin C. Pierce, David N. Turner - 1996