Transition systems and concurrent processes
Volume 21 / 1988
Banach Center Publications 21 (1988), 9-20
DOI: 10.4064/-21-1-9-20
