APICe » Publications » SACS2012

Standard Type Soundness for Agents and Artifacts

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Scientific Annals of Computer Science 22(2), pages 267--326, 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}
}