Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /

• Κύριος συγγραφέας: Bollig, Benedikt (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Θέματα: Computer science.; Software engineering.; Computers.; Algorithms.; Mathematical logic.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Information Systems and Communication Service.

Πίνακας περιεχομένων:

• Preliminaries
• Graphs, Logics, and Graph Acceptors
• Words and Finite Automata
• Dags and Asynchronous Cellular Automata
• Mazurkiewicz Traces and Asynchronous Automata
• Message Sequence Charts
• Communicating Finite-State Machines
• Beyond Implementability.