The Klaim project: Theory and practice (2003)

by L Bettini, V Bono, R D Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, R Pugliese, E Tuosto, B Venneri
Venue:In: Global Computing: Programming Environments, Languages, Security and Analysis of Systems