A Petri Net Model of Asynchronously Communicating Sequential Processes

Madhavan Mukund, P. S. Thiagarajan. A Petri Net Model of Asynchronously Communicating Sequential Processes. In R. Narasimhan, editor, A Perspective in Theoretical Computer Science - Commemorative Volume for Gift Siromoney. Volume 16 of World Scientific Series in Computer Science, pages 165-198, World Scientific, 1989. [doi]

Abstract

Abstract is missing.