Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.

Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno

Browse the full PRDC paper archive.