Yüklüyor......
Understanding concurrent systems /
| Yazar: | |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
London ; New York :
Springer,
c2010.
|
| Seri Bilgileri: | Texts in computer science,
|
| Konular: |
İçindekiler:
- Building a simple sequential process
- Understanding CSP
- Parallel operators
- CSP case studies
- Hiding and renaming
- Beyond traces
- Further operators
- Using FDR
- Operational semantics
- Denotational semantics and behavioural models
- Finite observation models
- Infinite-behaviour models
- The algebra of CSP
- Timed systems 1 : tock-CSP
- Timed systems 2 : discrete timed CSP
- More about FDR
- State explosion and parameterised verification
- Shared-variable programs
- Understanding shared-variable concurrency
- Priority and mobility.