Results 131 to 140 of about 2,261 (145)
Some of the next articles are maybe not open access.
Serializability Preserving Extensions of Concurrency Control Protocols
2000The verification system PVS is used to obtain mechanized support for the formal specification and verification of concurrency control protocols, concentrating on database applications. A method to verify conflict serializability has been formulated in PVS and proved to be sound and complete with the interactive proof checker of this tool.
Chkliaev, D. +2 more
openaire +3 more sources