ArticlePeerJ. Computer science2025

Formal modeling of a causal consistent distributed system and verification of its history

Khalid Amjed Mohammed Alsaegg et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.