This book provides a hands-on introduction to concurrent programming principles and techniques. Pascal FC (Functionally Concurrent), a teaching version of the Pascal language available from the authors, is used to illustrate the main techniques used in the concurrency models. Once programmers have g
Concurrent programming
โ Scribed by Snow, C. R.
- Publisher
- Cambridge Univ. Press
- Year
- 1992
- Tongue
- English
- Leaves
- 248
- Series
- Cambridge computer science texts
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Table of Contents
- Introduction to concurrency
2. Processes and the specification of concurrency
3. Communication between processes
4. High-level concurrency constructs - shared data
5. High-level concurrency constructs - message passing
6. Languages for concurrency
7. Implementation of a concurrency Kernel
Bibliography
Index.
โฆ Subjects
Programmering;Databehandling
๐ SIMILAR VOLUMES
This book provides a hands-on introduction to concurrent programming principles and techniques. Pascal FC (Functionally Concurrent), a teaching version of the Pascal language available from the authors, is used to illustrate the main techniques used in the concurrency models. Once programmers have g
This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the
Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emp