HOME > Detail View

Detail View

Formal models of communicating systems : languages,automata, and monadic second-order logic

Formal models of communicating systems : languages,automata, and monadic second-order logic (Loan 1 times)

Material type
단행본
Personal Author
Bollig, Benedikt.
Title Statement
Formal models of communicating systems : languages,automata, and monadic second-order logic / BenediktBollig.
Publication, Distribution, etc
Berlin ;   New York :   Springer ,   c2006.  
Physical Medium
ix, 181 p. : ill ; 24 cm.
ISBN
3540329226 (hd.bd.)
General Note
Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics formessage sequence charts.  
Bibliography, Etc. Note
Includes bibliographical references (p. [165]-171) and index.
Subject Added Entry-Topical Term
Electronic data processing -- Distributed processing. Multitasking (Computer science)
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 B M

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: : Aladin

New Arrivals Books in Related Fields

김자미 (2021)