| 000 | 01121namuu2200289 a 4500 | |
| 001 | 000045326825 | |
| 005 | 20070207092830 | |
| 008 | 070201s2006 gw a b 001 0 eng d | |
| 010 | ▼a 2006928323 | |
| 020 | ▼a 3540329226 (hd.bd.) | |
| 024 | 3 1 | ▼a 9783540329220 |
| 035 | ▼a (OCoLC)71747278 | |
| 040 | ▼a OHX ▼c OHX ▼d BAKER ▼d UPM ▼d 211009 | |
| 049 | ▼a COFA | |
| 050 | 1 4 | ▼a QA76.9.D5 ▼b B65 2006 |
| 082 | 0 4 | ▼a 004.36 ▼2 22 |
| 090 | ▼a 004.36 ▼b B692f | |
| 100 | 1 | ▼a Bollig, Benedikt. |
| 245 | 1 0 | ▼a Formal models of communicating systems : ▼b languages,automata, and monadic second-order logic / ▼c BenediktBollig. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer , ▼c c2006. | |
| 300 | ▼a ix, 181 p. : ▼b ill ; ▼c 24 cm. | |
| 500 | ▼a Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics formessage sequence charts. | |
| 504 | ▼a Includes bibliographical references (p. [165]-171) and index. | |
| 650 | 0 | ▼a Electronic data processing ▼x Distributed processing. |
| 650 | 0 | ▼a Multitasking (Computer science) |
| 945 | ▼a KINS |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 004.36 B692f | Accession No. 121140058 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
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.
Information Provided By: :
