Abstraction for Concurrent Objects
Abstract elided by the publisher.
Related papers
- Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications ECOOP 1994
- Notes on "A Methodology for Implementing Highly Concurrent Data Objects" TOPLAS 1995
- Concurrent Aggregates (CA) PPoPP 1990
- Progress of concurrent objects with partial methods POPL 2018
- Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages POPL 1995
- OrcO: a concurrency-first approach to objects OOPSLA 2016
- Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types TOPLAS 1989
- Objects in Concurrent Logic Programming Languages OOPSLA 1986