Similar Items: On the Axiomatisability of Parallel Composition
- A Complete Axiomatisation for Quantifier-Free Separation Logic
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Stashing And Parallelization Pentagons
- ParallelKDE.jl: A Package for Highly Parallel Kernel Density Estimation
- A theory of transaction parallelism in blockchains
- Disentangling Parallelism and Interference in Game Semantics