Kidane Yemane

According to our database, Kidane Yemane authored at least 3 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2005

A Unifying Model of Variables and Names.

Marino Miculan, Kidane Yemane

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Modelling Fusion Calculus using HD-Automata.

Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Relationally Staged Computations in Calculi of Mobile Processes.

Neil Ghani, Kidane Yemane, Björn Victor

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004