Operational GSPN Semantics of MPA

Marco Bernardo Lorenzo Donatiello Roberto Gorrieri

Technical Report UBLCS-94-12

May 1994

Laboratory for Computer Science

University of Bologna

Piazza di Porta S. Donato, 5
40127 Bologna (Italy)