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

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)

Remote Storage