Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments

@incollection{formal-aapromas09,
   apice = {FormalenvmasPromasVII},
   author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
   booktitle = {Programming Multi-Agent Systems},
   doi = {10.1007/978-3-642-14843-9_9},
   editor = {Braubach, Lars and Briot, Jean-Pierre and Thangarajah, John},
   eissn = {1611-3349},
   isbn = {978-3-540-79042-6},
   issn = {0302-9743},
   note = {7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers},
   pages = {133--150},
   publisher = {Springer},
   series = {LNAI},
   title = {Formalising the Environment in {MAS} Programming: A Formal Model for Artifact-Based Environments},
   url = {http://www.springerlink.com/content/112756w186286622},
   volume = 5919,
   year = 2010
}