- Record: found
- Abstract: not found
- Book Chapter: not found
Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
Specifications of concurrently accessed data
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references3
- Record: found
- Abstract: not found
- Article: not found
Abstract data types and the development of data structures
John V. Guttag (1977)
- Record: found
- Abstract: not found
- Book: not found
Parallel Program Design: A Foundation
K.M. Chandy, K. G. Chandy, K.M. Chandy … (1988)
- Record: found
- Abstract: not found
- Book: not found
Verifying Concurrent Processes Using Temporal Logic
Brent T. Hailpern (1982)