Cover Image

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

Show other versions (1)
Bibliographic Details
Main Author: Bowman, Howard, 1966-
Other Authors: Gomez, Rodolfo
Format: Book
Language:English
Published: London : Springer, [2006]
Subjects:
Parallel processing (Electronic computers) > Mathematical models.
Machine theory.
LOTOS (Computer program language)
Description
Physical Description:xxiv, 435 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [397]-407) and index.
ISBN:1852338954