Effect Algebras, Girard Quantales and Complementation in Separation Logic

von Bannister, Callum
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)

Contextuality in Distributed Systems

von Evangelou-Qost, Nasos
Veröffentlicht in International Conference on Relational and Algebraic Methods in Computer Science (20. : 2023 : Augsburg) Relational and algebraic methods in computer science (2023)