Algebraic Theories for Name-Passing Calculi

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.

Authors

Joachim Parrow

This author has not been identified. Look up 'Joachim Parrow' in Google

Davide Sangiorgi

This author has not been identified. Look up 'Davide Sangiorgi' in Google