Concurrency theory calculi and automata for modelling untimed and timed concurrent systems
Saved in:
| Format | Book |
|---|---|
| Language | English |
| Published |
London :
Springer,
2006
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9781852338954 978-1-84628-336-9 |
| DOI | 10.1007/1-84628-336-1 |
| Physical Description | 435 s. : il. |
Cover
| Item Description: | Obsahuje rejstřík. |
|---|---|
| Format: | Způsob přístupu: WWW |
| ISBN: | 9781852338954 978-1-84628-336-9 |
| DOI: | 10.1007/1-84628-336-1 |
| Physical Description: | 435 s. : il. |