Publications » FieldsScw2014

Towards a Unified Model of Spatial Computing

Mirko Viroli
In spatial computing, there is a fundamental tension between discrete and continuous models of computation: computational devices are generally discrete, yet it is often useful to program them in terms of the continuous environment through which they are embedded. Aggregate programming models for spatial computers have attempted to resolve this tension in a variety of different ways, generating a profusion of approaches that are difficult to compare or combine. Recently, however, two minimal models have been proposed: continuous space-time universality and a discrete field calculus. This paper unifies these two models by proving that field calculus is space-time universal, and thus provides the first formal connection between continuous and discrete approaches to spatial computing.
Keywords: Computational Fields, Continuous models, Expressiveness
7th International Spatial Computing Workshop (SCW 2014), pages 1-11, 6 May 2014.
Stefan Dulman, Luidnel Maignan, Antoine Spicher, Mirko Viroli (eds.)
	Address = {AAMAS 2014, Paris, France},
	Author = {Beal, Jacob AND Viroli, Mirko AND Damiani, Ferruccio},
	Booktitle = {7th International Spatial Computing Workshop (SCW 2014)},
	Editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
	Keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules}},
	Month = {6~} # may,
	Note = {Proceedings},
	Pages = {59--64},
	Title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
	Year = 2014}