The State of SPIN
Abstract elided by the publisher.
Related papers
- Extending Promela and Spin for Real Time TACAS 1996
- Model Checking SDL with Spin TACAS 2000
- Scalable queue-based spin locks with timeout PPoPP 2001
- Reciprocating Locks PPoPP 2025
- Using Scheduler Information to Achieve Optimal Barrier Synchronization Performance PPoPP 1993
- Rhombus: A New Spin on Macros without All the Parentheses OOPSLA 2023
- Scaling up parallel GC work-stealing in many-core environments ISMM 2019
- Oracle scheduling: controlling granularity in implicitly parallel languages OOPSLA 2011