An Integrated Framework for Formal Development of Open Distributed Systems.

Issa Traor, Demissie B. Aredo, Hong Ye

Browse the full SAC paper archive.