Logics for Concurrency
Subtitle: Structure versus Automata (Lecture Notes in Computer Science)
Contributors: Faron Moller (Editor); Graham Birtwistle (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 6, 1996
Language: eng
Format: Paperback
Number of pages: 266
ISBN-13: 9783540609155
Subjects: Mathematical theory of computation; Parallel processing; Parallel processing (Electronic computers); Distributed Computer Systems; Computers; Computers - General Information; Parallel processing (Electroni; Computer Books: General; Logic Design; Distributed processing; Client-Server Computing - General; Computer Science; Computers / Logic Design; Concurrent Systems; Distributed Systems; Modal Logics; Modale Logiken; Nebenläufige Systeme; Temporal Logics; Temporale Logiken; Electronic data processing
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.