No. 513 (1997): PB-513 Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

Published: 1997-02-01