CCS and Petri Nets

Ursula Goltz. CCS and Petri Nets. 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 334-357, Springer, 1990.

Abstract

Abstract is missing.