3 papers
cs.DC2016
Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems
Achour Mosteafoui, Matoula Petrolia, Michel Raynal +1
This article presents a signature-free distributed algorithm which builds an atomic read/write shared memory on top of an -process asynchronous message-passing system in which u…
cs.DC2016
Causal Consistency: Beyond Memory
Matthieu Perrin, Achour Mostefaoui, Claude Jard
In distributed systems where strong consistency is costly when not impossible, causal consistency provides a valuable abstraction to represent program executions as partial orders.…
cs.PL2015
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
Matthieu Perrin, Claude Jard, Achour Mostefaoui
This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies betwe…