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...
Main Author: | |
---|---|
Language: | en_US |
Published: |
2007
|
Online Access: | http://hdl.handle.net/1993/878 |
Search Result 1
Search Result 2