Nasos Evangelou-Oost

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Mutual Exclusion

Algebraic Expressions

Laplace Transform

Distributed Database Systems

Top Venues

Publications

Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
Restructuring a concurrent refinement algebra. CoRR (2024)
Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
Restructuring a Concurrent Refinement Algebra. RAMiCS (2024)
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)