18 citations · 22 across the 6 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019★ 3 cited
Replication-Aware Linearizability
Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri +1
Geo-distributed systems often replicate data at multiple locations to achieve availability and performance despite network partitions. These systems must accept updates at any repl…
cs.PL2012★ 18 cited
Relaxed Operational Semantics of Concurrent Programming Languages
Gérard Boudol, Gustavo Petri, Bernard Serpette
We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a "…