The Analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings /

Bibliographic Details
Corporate Author: Workshop on the Analysis of Concurrent Systems
Other Authors: Denvir, B. T.
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1985]
Series:Lecture notes in computer science ; 207.
Subjects:
Description
Physical Description:vii, 398 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:3540160477 (West Berlin : pbk.)
0387160477 (U.S. : pbk.)