co-author : Ferruccio Damiani

3 publications with Alessandro Ricci

Standard Type Soundness for Agents and Artifacts (article in journal, 2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

A Calculus of Agents and Artifacts (article in journal, 2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings, 2009) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

[ Co-author Cloud / Alessandro Ricci / publications ]