| |
| 2004 | ||
|---|---|---|
| 4 | EE | Nikos Mylonakis, Fernando Orejas: A Distributed and Mobile Component System Based on the Ambient Calculus. WADT 2004: 186-200 |
| 2000 | ||
| 3 | EE | Nikos Mylonakis: Proof assistance for refinement in type theory. Electr. Notes Theor. Comput. Sci. 37: (2000) |
| 1995 | ||
| 2 | Nikos Mylonakis: Behavioural Specifications in Type Theory. COMPASS/ADT 1995: 394-408 | |
| 1994 | ||
| 1 | Nikos Mylonakis, J. Perez Campo: A Type Checking Tool for a Formal Specification Language. GULP-PRODE (2) 1994: 444-445 | |
| 1 | J. Perez Campo | [1] |
| 2 | Fernando Orejas | [4] |