Algebraic Theories for Name-Passing Calculi - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Joachim Parrow, Davide Sangiorgi. Algebraic Theories for Name-Passing Calculi. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings. Volume 803 of Lecture Notes in Computer Science, pages 509-529, Springer, 1993.

The following publications are possibly variants of this publication:

Algebraic Theories for Name-Passing CalculiJoachim Parrow, Davide Sangiorgi. iandc, 120(2):174-197, August 1995.

On Asynchrony in Name-Passing CalculiMassimo Merro, Davide Sangiorgi. icalp 1998: 856-867 [doi]

On asynchrony in name-passing calculiMassimo Merro, Davide Sangiorgi. mscs, 14(5):715-767, 2004. [doi]

runs on WebDSL