Callum Bannister

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 7

Top Topics

Data Replication

Sound And Complete Axiomatization

Distributed Database Systems

Top Venues

Publications

Nasos Evangelou-Oost, Callum Bannister, Larissa Meinicke, Ian J. Hayes
Trace models of concurrent valuation algebras. CoRR (2023)
Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes
Trace Models of Concurrent Valuation Algebras. ICFEM (2023)
Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes
Contextuality in Distributed Systems. RAMiCS (2023)
Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes
Contextuality in distributed systems. CoRR (2022)
Callum Bannister, Peter Höfner, Georg Struth
Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS (2021)
Callum Bannister, Peter Höfner, Gerwin Klein
Backwards and Forwards with Separation Logic. ITP (2018)
Callum Bannister, Peter Höfner
False Failure: Creating Failure Models for Separation Logic. RAMiCS (2018)
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell
Formally Verified System Initialisation. ICFEM (2013)