The Concurrency Workbench with Priorities
Abstract elided by the publisher.
Related papers
- Deep priority conflicts in the wild: a pilot study SLE 2017
- The NCSU Concurrency Workbench CAV 1996
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority POPL 1985
- Multicore acceleration of priority-based schedulers for concurrency bug detection PLDI 2012
- The lock-free k-LSM relaxed priority queue PPoPP 2015
- Send to me first: Priority in synchronous message-passing JFP 2022
- Partial Order Aware Concurrency Sampling CAV 2018