2 citations · 4 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 1 cited
Verification of a lazy cache coherence protocol against a weak memory model
Christopher J. Banks, Marco Elver, Ruth Hoffmann +3
In this paper we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simul…
cs.LO2017★ 2 cited
A More Sensitive Context
Christopher J. Banks, Ian Stark
Logic of Behaviour in Context (LBC) is a spatio-temporal logic for expressing properties of continuous-state processes, such as biochemical reaction networks. LBC builds on the exi…