Communicating State Transition Systems for Fine-Grained Concurrent Resources
No abstract available.
Related papers
- POSTER: FineCo: Fine-grained Heterogeneous Resource Management for Concurrent DNN Inferences PPoPP 2024
- Mechanized verification of fine-grained concurrent programs PLDI 2015
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- Very Concurrent Mark-&-Sweep Garbage Collection without Fine-Grain Synchronization ISMM 1998
- Reagents: expressing and composing fine-grained concurrency PLDI 2012
- The Concurrent Language, Shared Prolog TOPLAS 1991
- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM ESOP 2021
- Laminar: practical fine-grained decentralized information flow control PLDI 2009