Concurrency theory calculi and automata for modelling untimed and timed concurrent systems
Saved in:
Format: | eBook |
---|---|
Language: | English |
Published: |
London :
Springer,
2006
|
Subjects: | |
ISBN: | 9781852338954 978-1-84628-336-9 |
Physical Description: | 435 s. : il. |
Online Access:
Online Resources