Abstracting and Counting Synchronizing Processes
No abstract available.
Related papers
- An On-the-Fly Reference Counting Garbage Collector for Java OOPSLA 2001
- A Robust Theory of Series Parallel Graphs POPL 2023
- Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks CAV 2025
- An on-the-fly reference-counting garbage collector for java TOPLAS 2006
- Transactional programming in a multi-core environment PPoPP 2007
- CQS: A Formally-Verified Framework for Fair and Abortable Synchronization PLDI 2023
- Maple: a Programming Language, Operating System POPL 1982
- Engineering an Efficient Probabilistic Exact Model Counter CAV 2025