Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
No abstract available.
Related papers
- A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables TOPLAS 1991
- Hapax Locks: Scalable Value-Based Mutual Exclusion PPoPP 2026
- On group mutual exclusion for dynamic systems PPoPP 2021
- Semantics of transactional memory and automatic mutual exclusion TOPLAS 2011
- Semantics of transactional memory and automatic mutual exclusion POPL 2008
- Model Checking Liveness Properties of Genetic Regulatory Networks TACAS 2007
- A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction TACAS 1998
- Tidex: a mutual exclusion lock PPoPP 2016