A type-sound calculus of computational fields

@article{compfields-scp117,
   apice = {SCPAggregateComputing2016},
   author = {Damiani, Ferruccio and Viroli, Mirko and Beal, Jacob},
   doi = {10.1016/j.scico.2015.11.005},
   issn = {0167-6423},
   journal = {Science of Computer Programming},
   keywords = {Computational field, Core calculus, Operational semantics, Spatial computing, Type soundness},
   numpages = 28,
   pages = {17--44},
   publisher = {Elsevier Science B.V.},
   title = {A type-sound calculus of computational fields},
   url = {http://www.sciencedirect.com/science/article/pii/S0167642315003573},
   volume = 117,
   year = 2016
}