HOME > Detail View

Detail View

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

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems (Loan 1 times)

Material type
단행본
Personal Author
Bowman, Howard , 1966-. Gomez, Rodolfo.
Title Statement
Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems / Howard Bowman and Rodolfo Gomez.
Publication, Distribution, etc
London :   Springer ,   c2006.  
Physical Medium
xxiv, 435 p. : ill. ; 25 cm.
ISBN
1852338954
Bibliography, Etc. Note
Includes bibliographical references (p. [397]-407) and index.
Subject Added Entry-Topical Term
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

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.015113 B787c Accession No. 121137103 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)