Nasos Evangelou-Oost

According to our database, Nasos Evangelou-Oost authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

Restructuring a Concurrent Refinement Algebra.

Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost

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

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