Cover Image
Read Now

1
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...1 Formal Aspects of Concurrent Systems -- A Formal Basis for the Specification of Concurrent...”