|
|
|
|
| LEADER |
02422nam a2200301 a 4500 |
| 001 |
c000316693 |
| 003 |
CARM |
| 005 |
20110328164940.0 |
| 008 |
961213s1997 enka b 001 0 eng c |
| 010 |
|
|
|a 96051077
|
| 019 |
1 |
|
|a 12952044
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540760598 (pbk. : alk. paper)
|
| 035 |
|
|
|a (OCoLC)36138338
|5 LACONCORD2021
|
| 040 |
|
|
|a VDU
|c VDU
|
| 050 |
0 |
0 |
|a QA76.58
|b .S537 1997
|
| 082 |
0 |
0 |
|a 004/.35/015118
|2 21
|
| 100 |
1 |
|
|a Shields, M. W.
|q (Michael William),
|d 1950-
|
| 245 |
1 |
0 |
|a Semantics of parallelism :
|b non-interleaving representation of behaviour /
|c Michael W. Shields.
|
| 260 |
|
|
|a London ;
|a New York :
|b Springer,
|c c1997.
|
| 300 |
|
|
|a xiii, 473 p. :
|b ill. ;
|c 24 cm.
|
| 505 |
0 |
|
|a 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.
|
| 505 |
8 |
|
|a 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.
|
| 504 |
|
|
|a Includes bibliographical references (p. [463]-469) and index.
|
| 650 |
|
0 |
|a Parallel processing (Electronic computers)
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|x Semantics.
|
| 852 |
8 |
|
|b CARM
|h A3:AF19F0
|i C12397
|p 0475285
|f BK
|
| 999 |
f |
f |
|i b43e2460-ed3f-5221-8208-3752a3c8731a
|s ea5c65c8-d026-55cc-bc97-92d676db0247
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C12397
|f A3:AF19F0
|h Other scheme
|i book
|m 0475285
|