co-author : Paola Giannini

3 publications with Alessandro Ricci
page_white_acrobat Standard Type Soundness for Agents and Artifacts (article in journal, 2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
page_white_acrobat A Calculus of Agents and Artifacts (article in journal, 2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
page_white_acrobat FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings, 2009) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY