Similar Items: Concurrency and Probability: Removing Confusion, Compositionally
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- Sculptures in Concurrency
- A Posteriori Probability Calculation for Composite-Symbol DNA Channels With Synchronization Errors
- Independence and concurrent separation logic
- Recursive Concurrent Stochastic Games
- A Concurrent Pattern Calculus