"Formal Verification of Distributed Branching Multiway Synchronization ..."

Hugues Evrard, Frédéric Lang (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics