Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Alessandro Ricci
Publications
Clouds
co-author : Paola Giannini
co-author : Paola Giannini
3 publications with 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
[
Co-author Cloud
/ Alessandro Ricci / publications ]
0000-0002-9222-5092