Flow Event Structures and Flow Nets

Gérard Boudol. Flow Event Structures and Flow 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 62-95, Springer, 1990.

Abstract

Abstract is missing.