Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Alessandro Ricci
Pubblicazioni
Nuvole
co-autore : Ferruccio Damiani
co-autore : Ferruccio Damiani
3 pubblicazioni con Alessandro Ricci
Standard Type Soundness for Agents and Artifacts
(2012) —
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts
(2011) —
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
() —
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
[
Nuvola dei co-autori
/ Alessandro Ricci / pubblicazioni ]
0000-0002-9222-5092