@article{Viroli2013633,
   title = "Operational semantics of proto",
   journal = "Science of Computer Programming",
   volume = "78",
   number = "6",
   pages = "633 - 656",
   year = "2013",
   note = "<ce:title>Special section: The Programming Languages track at
   the 26th ACM Symposium on Applied Computing (SAC 2011) &amp; Special
   section on Agent-oriented Design Methods and Programming Techniques for
   Distributed Computing in Dynamic and Complex Environments</ce:title>",
   issn = "0167-6423",
   doi = "10.1016/j.scico.2012.12.003",
   url = "http://www.sciencedirect.com/science/article/pii/S0167642312002146",
   author = "Mirko Viroli and Jacob Beal and Kyle Usbeck",
   keywords = "Spatial computing",
   keywords = "Distributed algorithms",
   keywords = "Amorphous medium",
   keywords = "Operational semantics",
   keywords = "Proto"
}