Applying Event-B Atomicity Decomposition to a Multi Media Protocol.

Asieh Salehi Fathabadi Michael J. Butler

Published in: FMCO (2009)

Keyphrases

multimedia
correctness criterion
digital libraries
efficient retrieval
acid properties
commit protocols
cryptographic protocols
security protocols
event driven
event detection
electronic commerce
multidatabase systems
end to end
tcp ip
database management systems
e learning
databases