Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language.

Chryssis Georgiou Nancy A. Lynch Panayiotis Mavrommatis Joshua A. Tauber Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language. 128-134 2005 conf/ISCApdcs/2005 ISCA PDCS db/conf/ISCApdcs/ISCApdcs2005.html#GeorgiouLMT05