No. 159 (1983): PB-159 Event Structure Semantics for CCS and Related Languages

Published: 1983-04-01