Add to ORKGInternational audienceThis paper presents a generalization of causal consistency suited to the family of objects defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects (concurrent operations are not ordered), it follows that causal consistency allows different processes to have different views of each object history
Concurrent data structures are usually designed to satisfy correctness conditions such as sequential...
Specification and verification techniques for abstract data types that have been successful for sequ...
A methodology is introduced for defining truly concurrent semantics of processes as equivalence clas...
International audienceThis paper presents a generalization of causal consistency suited to the famil...
International audienceIn distributed systems where strong consistency is costly when not impossible,...
Sequential consistency and causal consistency constitute two of the main consistency criteria used t...
Given a distributed system with several shared objects and many processes concurrently updating and ...
The abstraction of a shared memory is of growing importance in distributed computing systems. Trad...
Given a distributed system with several shared objects and many processes concurrently updating and ...
Correctness conditions like linearizability and opacity describe some form of atomicity imposed on c...
. We study causality in the ß-calculus. Our notion of causality combines the dependencies given by t...
We suggest an equivalence notion for event structures as a semantic model of concurrent systems. It ...
We study causality in the π-calculus. Our notion of causality combines the dependencies given by the...
nantes.fr In large scale distributed systems, shared objects provide a valuable abstraction of commu...
GDD_HCERES2020Distributed systems are often viewed as more difficult to program than sequential syst...
Concurrent data structures are usually designed to satisfy correctness conditions such as sequential...
Specification and verification techniques for abstract data types that have been successful for sequ...
A methodology is introduced for defining truly concurrent semantics of processes as equivalence clas...
International audienceThis paper presents a generalization of causal consistency suited to the famil...
International audienceIn distributed systems where strong consistency is costly when not impossible,...
Sequential consistency and causal consistency constitute two of the main consistency criteria used t...
Given a distributed system with several shared objects and many processes concurrently updating and ...
The abstraction of a shared memory is of growing importance in distributed computing systems. Trad...
Given a distributed system with several shared objects and many processes concurrently updating and ...
Correctness conditions like linearizability and opacity describe some form of atomicity imposed on c...
. We study causality in the ß-calculus. Our notion of causality combines the dependencies given by t...
We suggest an equivalence notion for event structures as a semantic model of concurrent systems. It ...
We study causality in the π-calculus. Our notion of causality combines the dependencies given by the...
nantes.fr In large scale distributed systems, shared objects provide a valuable abstraction of commu...
GDD_HCERES2020Distributed systems are often viewed as more difficult to program than sequential syst...
Concurrent data structures are usually designed to satisfy correctness conditions such as sequential...
Specification and verification techniques for abstract data types that have been successful for sequ...
A methodology is introduced for defining truly concurrent semantics of processes as equivalence clas...