Cover Image
Read Now

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... and properties of concurrent systems -- Permutation of transitions: An event structure semantics for CCS and SCCS...”