Similar Items: Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- Concurrency and Probability: Removing Confusion, Compositionally
- Concurrent Process Histories and Resource Transducers
- A Theory of Explicit Substitutions with Safe and Full Composition
- Sculptures in Concurrency
- Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
- Explicit fairness in testing semantics