Callum Bannister

According to our database, Callum Bannister authored at least 7 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Trace Models of Concurrent Valuation Algebras.

Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes

Proceedings of the Formal Methods and Software Engineering, 2023

Contextuality in Distributed Systems.

Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2021

Effect Algebras, Girard Quantales and Complementation in Separation Logic.

Callum Bannister, Peter Höfner, Georg Struth

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2019

Forward with separation logic.

Callum Bannister

PhD thesis, 2019

2018

Backwards and Forwards with Separation Logic.

Callum Bannister, Peter Höfner, Gerwin Klein

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

False Failure: Creating Failure Models for Separation Logic.

Callum Bannister, Peter Höfner

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2013

Formally Verified System Initialisation.

Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell

Proceedings of the Formal Methods and Software Engineering, 2013