| Document Date: 2013-05-15 09:27:00
Open Document File Size: 411,78 KBShare Result on Facebook
Event Man-Made Disaster / Product Issues / / Facility Josef Widder Vienna University of Technology / / IndustryTerm Fault-tolerant distributed algorithms / verified computer systems / fault-tolerant distributed algorithm / famous bakery algorithm / state-ofthe-art fault-tolerant distributed algorithms / basic fault-tolerant distributed algorithms / condition-based consensus algorithm / bakery algorithm / classic asynchronous broadcasting algorithm / asynchronous distributed algorithms / basic fault-tolerant distributed algorithm / simpler modeling solution / asynchronous distributed systems / distributed algorithms / concurrent systems / express faulttolerant distributed algorithms / fault-tolerant algorithms / model such algorithms / distributed systems / larger systems / basic distributed algorithms / / Organization Vienna Science and Technology Fund / Austrian Science Fund / Vienna University of Technology / / Person Depending / Ulrich Schmid / Igor Konnov / Helmut Veith / Srikanth / / Position guard / existential guard / universal guard / / Product ones / links / processes / process / components / / ProgrammingLanguage Promela / / RadioStation 1 Core / / Technology classic asynchronous broadcasting algorithm / state-of-theart fault-tolerant distributed algorithms / bakery algorithm / distributed algorithm / fault-tolerant algorithms / basic fault-tolerant distributed algorithms / broadcasting algorithm / Fault-tolerant distributed algorithms / distributed algorithms / fault-tolerant distributed algorithm / p2p / state-ofthe-art fault-tolerant distributed algorithms / express faulttolerant distributed algorithms / case study Algorithm / basic distributed algorithms / basic fault-tolerant distributed algorithm / threshold-guarded algorithms / famous bakery algorithm / shared memory / 5 Algorithm / condition-based consensus algorithm / asynchronous distributed algorithms / /
SocialTag |
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib