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

Einar Broch Johnsen Wenhui Zhang Olaf Owe Demissie B. Aredo Specification of Distributed Systems with a Combination of Graphica and Formal Languages. 105- 2001 conf/apsec/2001 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991465 db/conf/apsec/apsec2001.html#JohnsenZOA01