Search alternatives:
systems science » system sciences
asi subseries » _ subseries
nato asi » nato arw

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