Model Checking the Two-Phase Commit Protocol for Distributed Database Systems

Lecture notes in computer science 2026 Open access

Read full text
Authors: Yisong Yu, Naipeng Dong, Jun Pang, Jin Song Dong
DOI: 10.1007/978-981-95-6032-5_10
Cited by: 0
References: 7

Fields of Study & Subjects

Distributed systems and fault tolerance Formal Methods in Verification Logic programming and type systems

Publication details

Journal / source
Lecture notes in computer science
Pages
141–159
Publication date
1 January 2026
Language
EN