journal : Theoretical Computer Science

On the Expressive Power of KLAIM-based Calculi (2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Quantitative Information in the Tuple Space Coordination Model (2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

A process algebraic view of Linda coordination primitives (1998) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

On the Expressive Power of KLAIM-based Calculi (1998) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese

The Chemical Abstract Machine (1992) — Gérard Berry

Linear logic (1987) — Jean-Yves Girard

Algebra of communicating processes with abstraction (1985) — Jan A. Bergstra, Jan Willem Klop