Logics for concurrency : structure versus automata /

Saved in:
Bibliographic Details
Other Authors: Moller, Faron, 1962-, Birtwistle, G. M. (Graham M.)
Format: Book
Language:English
Published: Berlin ; New York : Springer, c1996.
Series:Lecture notes in computer science ; 1043.
Subjects:
Description
Physical Description:xi, 266 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540609156