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. |
Glossary of Terms