journal : Theoretical Computer Science
7 articles
On the Expressive Power of KLAIM-based Calculi (article in journal, 2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese Quantitative Information in the Tuple Space Coordination Model (article in journal, 2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro A process algebraic view of Linda coordination primitives (article in journal, 1998) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro On the Expressive Power of KLAIM-based Calculi (article in journal, 1998) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese The Chemical Abstract Machine (article in journal, 1992) — Gérard Berry Linear logic (article in journal, 1987) — Jean-Yves Girard Algebra of communicating processes with abstraction (article in journal, 1985) — Jan A. Bergstra, Jan Willem Klop