Specification of transaction systems protocols

A fundamental requirement in specifying transaction systems is the need for a clear, concise, unambiguous, and rigorous behavioural and functional description of the systems' crucial features like concurrency, nondeterminism, mutual exclusion, synchronization, and deadlock avoidance. To write a...

Full description

Bibliographic Details
Main Author: Ehikioya, Sylvanus Agbonifoh
Language:en_US
Published: 2007
Online Access:http://hdl.handle.net/1993/878

Similar Items