4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 2 cited
Trace models of concurrent valuation algebras
Naso Evangelou-Oost, Larissa Meinicke, Callum Bannister +1
This paper introduces Concurrent Valuation Algebras (CVAs), a novel extension of ordered valuation algebras (OVAs). CVAs include two combine operators representing parallel and seq…
cs.LO2022★ 4 cited
Contextuality in distributed systems
Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes
We present a lattice of distributed program specifications, whose ordering represents implementability/refinement. Specifications are modelled by families of subsets of relative ex…