HOME > 상세정보

상세정보

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

Formal models of communicating systems : languages,automata, and monadic second-order logic (1회 대출)

자료유형
단행본
개인저자
Bollig, Benedikt.
서명 / 저자사항
Formal models of communicating systems : languages,automata, and monadic second-order logic / BenediktBollig.
발행사항
Berlin ;   New York :   Springer ,   c2006.  
형태사항
ix, 181 p. : ill ; 24 cm.
ISBN
3540329226 (hd.bd.)
일반주기
Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics formessage sequence charts.  
서지주기
Includes bibliographical references (p. [165]-171) and index.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.36 B692f 등록번호 121140058 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료