Specification of Distributed Systems with a Combination of Graphica and Formal Languages.

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo

Browse the full APSEC paper archive.