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: | |
|---|---|
| Format: | Others |
| Language: | en en_US |
| Published: |
2007
|
| Online Access: | http://hdl.handle.net/1993/878 |