Logics for concurrency structure versus automata / Faron Moller, Graham Birtwistle, eds.

Other author Moller, Faron, 1962-
Other author Birtwistle, G. M. (Graham M.)
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxi, 266 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Supplemental ContentFull text available from Springer Books
Subjects

SeriesLecture notes in computer science ; 1043
Bibliography noteIncludes bibliographical references.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 96005558
ISBN3540609156 (Berlin : acid-free paper)