Get started
Author

Callum Bannister

Observed name: Bannister, Callum
ORCID: 0000-0002-8799-054X
Observed ORCID: 0000-0002-8799-054X
OpenAlex ID: A5044071267
Formally Verified System Initialisation
2013 · Andrew Boyton, June Andronick, et al. · Lecture notes in computer science · 16
Backwards and Forwards with Separation Logic
2018 · Callum Bannister, Peter Höfner, et al. · Lecture notes in computer science · 5
Contextuality in Distributed Systems
2023 · Nasos Evangelou-Oost, Callum Bannister, et al. · Lecture notes in computer science · 3
PDF
False Failure: Creating Failure Models for Separation Logic
2018 · Callum Bannister, Peter Höfner · Lecture notes in computer science · 2
Trace Models of Concurrent Valuation Algebras
2023 · Naso Evangelou-Oost, Larissa Meinicke, et al. · Lecture notes in computer science · 1
PDF
Effect Algebras, Girard Quantales and Complementation in Separation Logic
2021 · Callum Bannister, Peter Höfner, et al. · Lecture notes in computer science · 1
PDF
Works count: 7
Citation count: 29
H-index: 3
I10-index: 1
Year
Topic
Type