Semantics of parallelism : non-interleaving representation of behaviour /

Semantics of parallelism : non-interleaving representation of behaviour /

Saved in:

Bibliographic Details
Main Author:	Shields, M. W. (Michael William), 1950-
Format:	Book
Language:	English
Published:	London ; New York : Springer, c1997.
Subjects:	Parallel processing (Electronic computers) Programming languages (Electronic computers) > Semantics.

Table of Contents:

1. Whys and Wherefores
2. Behavioural Presentations
3. Discrete Behavioural Presentations
4. Order Theoretic Properties of Left-Closed Behavioural Presentations
5. Event Structures and Closures of Behavioural Presentations
6. Another Event Structure Model
7. Properties of Behavioural Presentations
8. Karp and Miller Computation Graphs
9. Trace and Vector Languages
10. Order Theoretic Properties of Vector Languages
11. Determinacy
12. Linguistic Behavioural Presentations
13. Unambiguous Transition Systems
14. General Transition Systems
15. Asynchronous Transition Systems
16. Condition/Event Systems: Process and Occurrence Net Semantics
17. Condition/Event Systems: Asynchronous Transition System Semantics
18. Loosely Coupled Systems
19. Categorical Connections
20. Categorical Applications
21. An Application: Realisation by Nets
22. Hybrid Transition Systems
23. The Keller Parallel Computation Model.
24. From Path Expressions to TCSP
25. The Nivat/Arnold Process Model
26. Constructions on Hybrid Transition Systems
27. Process Calculus (CCS)
28. Theoretical CSP
29. Conclusions: Theories of Parallelism
Appendix. Review of Mathematical Prerequisites.