Standard Type Soundness for Agents and Artifacts


Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

Scientific Annals of Computer Science 22(2), pages 267326,  2012
``A.I. Cuza'' University Press, Iacsi, Romania

 @article{DGRV-SACS2012,
 title={Standard Type Soundness for Agents and Artifacts},
 author={Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
 journal={Scientific Annals of Computer Science},
 volume={22},
 number={2},
 organization={``A.I. Cuza'' University, Iacsi, Romania},
 year={2012},
 pages={267--326},
 doi={10.7561/SACS.2012.2.267},
 publisher={``A.I. Cuza'' University Press, Iacsi}
}
 
Tags:

Publication

— authors

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

— status

published

— sort

article in journal

Venue

— journal

Scientific Annals of Computer Science

— volume

22

— issue

2

— pages

267326

— publication date

2012

Identifiers

— DOI

10.7561/SACS.2012.2.267

BibTeX

— BibTeX ID
DGRV-SACS2012
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY