![Data management / Computing / Two-phase commit protocol / Model checking / Three-phase commit protocol / Uppaal Model Checker / Formal verification / Atomic commit / Transmission Control Protocol / Transaction processing / Data / Information Data management / Computing / Two-phase commit protocol / Model checking / Three-phase commit protocol / Uppaal Model Checker / Formal verification / Atomic commit / Transmission Control Protocol / Transaction processing / Data / Information](https://www.pdfsearch.io/img/b43580a1b0d3dcfa8b48937b3b79fdba.jpg)
| 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 |