|
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
|
|
14
|
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
|
|
24
|
History Dependent Automata
– Ugo Montanari, Marco Pistore
- 2001
|
|
3
|
Formal Models for Encapsulation, Structure and Hierarchy in Distributed Systems
– M.C.W. Geilen
- 1999
|
|
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
|
|
13
|
History-Dependent Automata
– Ugo Montanari, Marco Pistore
- 1998
|
|
3
|
Causality for Debugging Mobile Agents
– Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
- 1996
|
|
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
|
|
27
|
Causality for Mobile Processes
– Pierpaolo Degano, Corrado Priami
- 1995
|
|
40
|
Non-Interleaving Semantics for Mobile Processes
– Pierpaolo Degano, Corrado Priami
- 1995
|
|
1
|
Constructing specific SOS semantics for concurrency via abstract interpretation (Extended Abstract)
– Ciara Bodei, Corrado Priami
|
|
195
|
KLAIM: a Kernel Language for Agents Interaction and Mobility
– Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
- 1997
|
|
87
|
Decoding Choice Encodings
– Uwe Nestmann, Benjamin C. Pierce
- 1999
|
|
4
|
Pict Language Definition
– Benjamin C. Pierce, David N. Turner
- 1996
|
