Th0. 1. a: SENSORIA languages and calculi for modelling services

TitleTh0. 1. a: SENSORIA languages and calculi for modelling services
Publication TypeMiscellaneous
Year of Publication2007
AuthorsDe Nicola, R., L. Bocchi, R. Bruni, L. Caires, R. Heckel, I. Lanese, A. Lapadula, M. Loreti, L. Semini, C. Montangero, and