Computer Science
2 years ago

New Logic Reveals Key to Correct Concurrent Algorithms for Future Tech

arXiv (Cornell University)
An Epistemic Perspective on Consistency of Concurrent Computations
Klaus von Gleissenthall, Andrey Rybalchenko

Paper Summary

The article discusses how consistency in concurrent computations is important for creating accurate algorithms. The researchers used a logical approach based on knowledge to formalize consistency properties. Their work offers a clear view of what consistency requirements entail and reveals connections between different properties.

Related papers

Theme background image
Computer Science
2 years ago

New Update Consistency Criterion Ensures Fault-Tolerant Data Replication in Systems

Fault Tolerance
QoS-Aware Services
Grid Computing
2 views
Theme background image
Computer Science
2 years ago

Stronger consistency models lead to simpler and more efficient checkpointing

Fault Tolerance
Cloud Computing
Trust Systems
Theme background image
Computer Science
6 years ago

New research reveals simpler ways to ensure data consistency in shared structures.

Fault Tolerance
Network Coding
Parallel Computing