An operational semantics for process algebra

Publishing house / Banach Center Publications / All volumes

J. C. M. Baeten, J. A. Bergstra, J. W. Klop Banach Center Publications 21 (1988), 47-81 DOI: 10.4064/-21-1-47-81