Nasos Evangelou-Oost | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Ian J. Hayes
10 publications
Callum Bannister
2 publications
Larissa Meinicke
1 publication

research

∙ 05/29/2023

Trace models of concurrent valuation algebras

This paper introduces Concurrent Valuation Algebras (CVAs), extending or...

0 Nasos Evangelou-Oost, et al. ∙

research

∙ 10/17/2022

Contextuality in distributed systems

We present a lattice of distributed program specifications, whose orderi...

0 Nasos Evangelou-Oost, et al. ∙