No. 390 (1992): PB-390 Coloured Petri Nets Extended with Channels for Synchronous Communication

Published: 1992-04-01

Articles