22 citations · 40 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter +1
This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, i…
cs.LO2017
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Brijesh Dongol, Ian J. Hayes, Georg Struth
Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions rel…