Causal consistency

Related papers: 1

Top Researchers

Ivan Lanese

Institution: —

Doriana Medić

Institution: —

Top Cited Papers

A General Approach to Derive Uncontrolled Reversible Semantics

Ivan Lanese, Doriana Medić

Citations: 11 • 2020

Related Technologies

Computer science Mathematics Theoretical computer science Programming language Rotation formalisms in three dimensions Semantics (computer science)Correctness Debugging Functional programming Erlang (programming language)