6 citations · 11 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 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…