Fair Termination for Resource-Aware Active Objects
Abstract elided by the publisher.
Related papers
- Resource aware programming TOPLAS 2005
- A program logic for concurrent objects under fair scheduling POPL 2016
- Task-aware garbage collection in a multi-tasking virtual machine ISMM 2006
- Communication as Fair Distribution of Knowledge OOPSLA 1991
- Tree Schemata and Fair Termination SAS 2000
- Transition predicate abstraction and fair termination TOPLAS 2007
- Detecting Fair Non-termination in Multithreaded Programs CAV 2012
- Generalized Fair Termination POPL 1984