Wilfried Brauer;Wolfgang Reisig;Grzegorz Rozenberg
-;-;-
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Decidability of the termination problem for completely specified protocols
Distributed Computing