Ryszard Janicki, Tomasz Müldner. Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. Theoretical Computer Science, 77(1&2):97-129, 1990.
No references recorded for this publication.
No citations of this publication recorded.