36 citations · 42 across the 6 of their papers we have counts for
7 papers
On Composition and Implementation of Sequential Consistency (Extended Version)
Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui +1
It has been proved that to implement a linearizable shared memory in synchronous message-passing systems it is necessary to wait for a time proportional to the uncertainty in the l…
On Composition and Implementation of Sequential Consistency
Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui +1
To implement a linearizable shared memory in synchronous message-passing systems it is necessary to wait for a time linear to the uncertainty in the latency of the network for both…
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…
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.…
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…
Brief Announcement: Update Consistency in Partitionable Systems
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
Data replication is essential to ensure reliability, availability and fault-tolerance of massive distributed applications over large scale systems such as the Internet. However, th…
Update Consistency for Wait-free Concurrent Objects
Matthieu Perrin, Achour Mostefaoui, Claude Jard
In large scale systems such as the Internet, replicating data is an essential feature in order to provide availability and fault-tolerance. Attiya and Welch proved that using stron…