Kidane Yemane

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Marino Miculan, Kidane Yemane
A Unifying Model of Variables and Names. FoSSaCS (2005)
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
Modelling Fusion Calculus using HD-Automata. CALCO (2005)
Neil Ghani, Kidane Yemane, Björn Victor
Relationally Staged Computations in Calculi of Mobile Processes. CMCS (2004)