On communication protocol modelling and design.

Published in: European Workshop on Applications and Theory in Petri Nets (1984)