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: | Ehikioya, Sylvanus Agbonifoh |
---|---|
Language: | en_US |
Published: |
2007
|
Online Access: | http://hdl.handle.net/1993/878 |
Similar Items
-
Specification of transaction systems protocols
by: Ehikioya, Sylvanus Agbonifoh
Published: (2007) -
Specification of transaction systems protocols
by: Ehikioya, Sylvanus Agbonifoh
Published: (2007) -
A formal perspective to modelling electronic commerce transactions
by: Sylvanus A. Ehikioya
Published: (2001-12-01) -
A Formal Model of Distributed Security for Electronic Commerce Transactions Systems
by: Sylvanus A. Ehikioya, et al.
Published: (2019-04-01) -
A Traffic Tracking Analysis Model for the Effective Management of E-commerce Transactions
by: Sylvanus A. Ehikioya, et al.
Published: (2020-05-01)