HOME > 상세정보

상세정보

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems (1회 대출)

자료유형
단행본
개인저자
Bowman, Howard , 1966-. Gomez, Rodolfo.
서명 / 저자사항
Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems / Howard Bowman and Rodolfo Gomez.
발행사항
London :   Springer ,   c2006.  
형태사항
xxiv, 435 p. : ill. ; 25 cm.
ISBN
1852338954
서지주기
Includes bibliographical references (p. [397]-407) and index.
일반주제명
Parallel processing (Electronic computers) -- Mathematical models. Machine theory. LOTOS (Computer program language)
000 01124camuu22003137a 4500
001 000045320299
005 20070116110243
008 050727s2006 enka b 001 0 eng d
010 ▼a 2005931433
015 ▼a GBA613149 ▼2 bnb
020 ▼a 1852338954
024 3 0 ▼a 9781852338954
035 ▼a (KERIS)REF000012731356
040 ▼a TEF ▼c TEF ▼d OHX ▼d UKM ▼d BAKER ▼d DLC ▼d 211009
042 ▼a lccopycat
050 0 0 ▼a QA76.58 ▼b .B69 2006
082 0 0 ▼a 004.01/5113 ▼2 22
090 ▼a 004.015113 ▼b B787c
100 1 ▼a Bowman, Howard , ▼d 1966-.
245 1 0 ▼a Concurrency theory : ▼b calculi and automata for modelling untimed and timed concurrent systems / ▼c Howard Bowman and Rodolfo Gomez.
260 ▼a London : ▼b Springer , ▼c c2006.
300 ▼a xxiv, 435 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliographical references (p. [397]-407) and index.
650 0 ▼a Parallel processing (Electronic computers) ▼x Mathematical models.
650 0 ▼a Machine theory.
650 0 ▼a LOTOS (Computer program language)
700 1 ▼a Gomez, Rodolfo.
945 ▼a KINS

소장정보

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

컨텐츠정보

목차

Background on Concurrency Theory.- Concurrency Theory ? Untimed Models.- Process Calculi: LOTOS.- Basic Interleaved Semantic Models.- True Concurrency Models: Event Structures.- Testing Theory and the Linear Time ? Branching Time Spectrum.- Concurrency Theory ? Further Untimed Notations.- Beyond pbLOTOS.- Comparison of LOTOS with CCS and CSP.- Communicating Automata.- Concurrency Theory ? Timed Models.- Timed Process Calculi, a LOTOS Perspective.- Semantic Models for tLOTOS.- Timed Communicating Automata.- Timelocks in Timed Automata.- Discrete Timed Automata.


정보제공 : Aladin

관련분야 신착자료

김종원 (2020)