Relationally Staged Computations in Calculi of Mobile Processes. - Neil Ghani; Kidane Yemane; Björn Victor (CMCS, 2004)

Modelling Fusion Calculus using HD-Automata. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto; Björn Victor; Kidane Yemane (CALCO, 2005)

A Unifying Model of Variables and Names. - Marino Miculan; Kidane Yemane (FoSSaCS, 2005)

Relations in Models of Calculi and Logics with Names. - Kidane Yemane (2006)