journal : Theoretical Computer Science

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

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

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

The Chemical Abstract Machine (Theoretical Computer Science, 1992) — Gérard Berry, Gérard Boudol

Linear logic (Theoretical Computer Science, 1987) — Jean-Yves Girard

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