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}
}
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}
}