13 citations · 52 across the 27 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014
Principles for Verification Tools: Separation Logic
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
A principled approach to the design of program verification and con- struction tools is applied to separation logic. The control flow is modelled by power series with convolution a…
cs.LO2014★ 3 cited
Convolution, Separation and Concurrency
Brijesh Dongol, Ian J. Hayes, Georg Struth
A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales.…
cs.LO2014★ 9 cited
Verifying linearizability: A comparative survey
Brijesh Dongol, John Derrick
Linearizability has become the key correctness criterion for concurrent data structures, ensuring that histories of the concurrent object under consideration are consistent, where…