Causal consistency

相关论文数: 1

顶级研究者

Ivan Lanese

研究机构: —

Doriana Medić

研究机构: —

最高引用论文

A General Approach to Derive Uncontrolled Reversible Semantics

Ivan Lanese, Doriana Medić

引用数: 11 • 2020

相关技术

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