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)
Show all versions (2)