Concurrency and Computability

Philippe Darondeau. Concurrency and Computability. In Irène Guessarian, editor, Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings. Volume 469 of Lecture Notes in Computer Science, pages 223-238, Springer, 1990.

Abstract

Abstract is missing.