An operational semantics for process algebra

Wydawnictwa / Banach Center Publications / Wszystkie tomy

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