Coordination Requirements Expressed in Types for Active Objects
No abstract available.
Related papers
- Minimal Ownership for Active Objects APLAS 2008
- Active Objects in Hybrid OOPSLA 1987
- Hambazi: Spatial Coordination Synthesis for Augmented Reality OOPSLA 2025
- Hamsaz: replication coordination analysis and synthesis POPL 2019
- Context-oriented software transactional memory in common lisp DLS 2009
- Environments as First Class Objects POPL 1987
- Exclusion for composite objects OOPSLA 2000
- Geometry types for graphics programming OOPSLA 2020