| Document Date: 2012-04-29 23:34:56
Open Document File Size: 128,91 KBShare Result on Facebook
Company MIT Press / IEEE Computer Society Press / Needham / V AG / / Country Sweden / Denmark / / Event FDA Phase / / Facility Aalborg University / Uppsala University / / IndustryTerm atomic commitment protocols / real-time model checkers / basic 2PC protocol / mature tool / agreement algorithm / database systems / recovery protocol / real time / large networks / distributed computing / verification tools / synchronous distributed algorithms / finite state systems / window protocol / computer networking / public-key protocol / commitment protocols / transition systems / phase atomic commitment protocol / transaction protocol / transaction processing / model checking technology / 2PC protocol / synchronous distributed protocols / model checker tool / communication protocols / timed model checking technology / secure authentication protocols / synchronous distributed systems / real-time systems / / Organization Aalborg University / MIT / V AF / NATO ASI Summer School on Verification of Digital and Hybrid Systems / Uppsala University / / Person M. Schroeder / Giorgio Levi / Morgan Kaufmann / A. P. Bernstein / V / Peter Csaba / / Position editor / author / coordinator / system editor / SFM-RT / / Product Maude / IPv4 / UPPAAL / / PublishedMedium Journal of the ACM / Communications of the ACM / Lecture Notes in Computer Science / / TVStation WCET / / Technology Distributed Database Protocol / commitment protocols / modified protocol / recovery protocol / two-phase commit / The 2PC Protocol / sliding windows protocol / basic 2PC protocol / transaction protocol / 2-phase Commit Protocol / public-key protocol / sliding window protocol / agreement algorithm / atomic commitment protocols / timed model checking technology / secure authentication protocols / model checking technology / 2PC protocol / synchronous distributed algorithms / caching / IPv4 / simulation / communication protocols / Using encryption / synchronous distributed protocols / ZeroConfig protocol / two phase atomic commitment protocol / /
SocialTag |
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract