5 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020
Convolution and Concurrency
James Cranch, Simon Doherty, Georg Struth
We show how concurrent quantales and concurrent Kleene algebras arise as convolution algebras of functions from structures with two ternary relations that satisfy relatio…
cs.LO2020★ 5 cited
Relational Semigroups and Object-Free Categories
James Cranch, Simon Doherty, Georg Struth
This note relates axioms for partial semigroups and monoids with those for small object-free categories, either with multiple monoidal units or with source and target maps. We disc…
cs.LO2018
Causal Linearizability: Compositionality for Partially Ordered Executions
Simon Doherty, John Derrick, Brijesh Dongol +1
In the interleaving model of concurrency, where events are totally ordered, linearizability is compositional: the composition of two linearizable objects is guaranteed to be linear…