Model checking and code generation for transaction processing software
Published in Concurrency and Computation Practice and Experience • Feb 14, 2012
NobleIDNI4P05W17R89S26
Authors:,
Anakreon Mentis
Panagiotis Katsaros
Abstract
SUMMARY In modern transaction processing software, the ACID properties (atomicity, consistency, isolation, durability) are often relaxed, in order to address requirements that arise in computing environments of today. Typical examples are the long‐running transactions in mobile computing, in service...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!