Browsing AURA by Author "Sherratt, Edel"
Now showing items 1-2 of 2
-
Distributed ASM - Pitfalls and solutions
Prinz, Andreas; Sherratt, Edel (Lecture Notes in Computer Science;8477, Chapter; Peer reviewed, 2014)While sequential Abstract State Machines (ASM) capture the essence of sequential computation, it is not clear that this is true of distributed ASM. This paper looks at two kinds of distributed process, one based on a global ... -
Eventual Consistency Formalized
Sherratt, Edel; Prinz, Andreas (Chapter; Peer reviewed, 2019)