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-
Corporate Author: SpringerLink (Online service)
Other Authors: Gomez, Rodolfo
Format: eBook
Language:English
Published: London : Springer, [2006]
Subjects:
LOTOS (Computer program language)
Machine theory.
Parallel processing (Electronic computers) > Mathematical models.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description
Search Result 1
Cover Image
by Bowman, Howard, 1966-
Published 2006
Book
Show all versions (2)