Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Author Bollig, Benedikt.
Title Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.
Imprint Berlin ; New York : Springer, 2006.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Author Bollig, Benedikt.
Subject Electronic data processing -- Distributed processing.
Computer multitasking.
Description 1 online resource (ix, 181 pages) : illustrations
polychrome rdacc
Bibliography Note Includes bibliographical references (pages 165-171) and index.
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.
Note Print version record.
ISBN 9783540329237
3540329234
3540329226 (Cloth)
9783540329220 (Cloth)
1280627263
9781280627262
6610627266
9786610627264
OCLC # 262692696
Link Springer e-books
Additional Format Print version: Bollig, Benedikt. Formal models of communicating systems. Berlin ; New York : Springer, 2006 3540329226 9783540329220 (DLC) 2006928323 (OCoLC)71747278


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team