1
Published 1991
Springer Berlin Heidelberg
... in Concurrent Systems)...