Data in a concurrent environment
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 140-159
- https://doi.org/10.1007/3-540-50403-6_38
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Specification and implementation of concurrently accessed data structures: An abstract data type approachPublished by Springer Nature ,2006
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Generalized bisimulation in relational specificationsPublished by Springer Nature ,1987
- An outline of the SMoLCS approachPublished by Springer Nature ,1987
- SMoLCS-driven concurrent calculiPublished by Springer Nature ,1987
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983