2005 | ||
---|---|---|
3 | EE | Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156 |
2 | EE | Marino Miculan, Kidane Yemane: A Unifying Model of Variables and Names. FoSSaCS 2005: 170-186 |
2004 | ||
1 | EE | Neil Ghani, Kidane Yemane, Björn Victor: Relationally Staged Computations in Calculi of Mobile Processes. Electr. Notes Theor. Comput. Sci. 106: 105-120 (2004) |
1 | Gian Luigi Ferrari (GianLuigi Ferrari) | [3] |
2 | Neil Ghani | [1] |
3 | Marino Miculan | [2] |
4 | Ugo Montanari | [3] |
5 | Emilio Tuosto | [3] |
6 | Björn Victor | [1] [3] |