Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.

Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura

Browse the full IFM paper archive.