Logics for Concurrency
Subtitle: Structure Versus Automata (Lecture Notes in Computer Science, 1043)
Publisher: Springer-Verlag
Published: March 1996
Language: eng
Format: Hardcover
ISBN-13: 9780387609157
Subjects: Management Information Systems; Distributed Computer Systems; Computers; Distributed processing; Electronic data processing; Parallel processing (Electronic computers); Science/Mathematics
First sentence: There has been a great deal of effort spent on developing methodologies for specifying and reasoning about the logical properties of systems, be they hardware or software.