Logics for Concurrency: Structure Versus Automata

Shelfclass_id 4.B.5
Sortkey MOLLER, FARON
Authors Faron Moller, Graham Birtwistle
Title Logics for Concurrency: Structure Versus Automata
Publisher Springer-Verlag
Year c1996
Languages eng
Isbn 3540609156
Series Lecture Notes in Computer Science
Volume 1043
Issn 0302-9743
Description (Berlin: acid-free paper) xi, 266 p. ill. 24 cm.
Record date 20061103
Location New York
Keywords Electronic data processing, Parallel processing (Electronic computers)