Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems
By: Bowman, Howard.
Contributor(s): Gomez, Rodolf.
Material type:
BookPublisher: London: Springer, 2006Description: xxiv, 435 p.; ill.: 24 cm.ISBN: 1852338954 .Subject(s): Calculus -- Computer programs | Machine theory | Mathematical models | Multitasking (Computer science) | Synchronous data transmission systemsDDC classification: 004.015113
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.015113 BOW (Browse shelf) | Available | 013952 |
There are no comments for this item.