A Language Framework for Multi-Object Coordination
Abstract elided by the publisher.
Related papers
- Rethinking Thread Scheduling under Oversubscription: A User-Space Framework for Coordinating Multi-runtime and Multi-process Workloads PPoPP 2026
- Multiparty motion coordination: from choreographies to robotics programs OOPSLA 2020
- Synthesis of Compact Strategies for Coordination Programs TACAS 2022
- Coordination Requirements Expressed in Types for Active Objects ECOOP 1997
- SynchNet: A Petri Net Based Coordination Language for Distributed Objects GPCE 2003
- An Object-Oriented Framework for Interactive Data Graphics OOPSLA 1987
- Arbitration-Free Consistency Is Available (and Vice Versa) POPL 2026
- Hamsaz: replication coordination analysis and synthesis POPL 2019