Title Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig

Published Berlin ; New York : Springer, ©2006

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource (ix, 181 pages) : illustrations Contents Introduction; 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 Summary Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. This book provides a unifying theory of communicating automata and their logical properties. It covers finite automata, asynchronous (cellular) automata and lossy channel systems Bibliography Includes bibliographical references (pages 165-171) and index Notes Print version record In Springer e-books Subject Electronic data processing -- Distributed processing. Computer multitasking. data processing. computer science. software. COMPUTERS -- Client-Server Computing. Multitasking (Computer science) Electronic data processing -- Distributed processing. Informatique. Computer multitasking Electronic data processing -- Distributed processing Form Electronic book ISBN 9783540329237 3540329234 3540329226 9783540329220 1280627263 9781280627262 6610627266 9786610627264

  Permalink