A fair protocol for non-deterministic message passing. - Peter Grogono; Nima Jafroodi (C3S2E, 2010)

Implementing generalized alternative construct for erasmus language. - Nima Jafroodi; Peter Grogono (CBSE, 2013)