Organizing the Aggregate: Languages for Spatial Computing

As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specic languages (DSLs) have emerged across diverse domains, from biology and recongurable computing, to sensor networks and agent-based systems. In this paper, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.

[1]  Kasper Stoy,et al.  A Domain-Specific Language for Programming Self-Reconfigurable Robots , 2007 .

[2]  V. Michael Bove,et al.  Programming a paintable computer , 2002 .

[3]  Nikolaus Correll,et al.  Modeling Self-Organized Aggregation in a Swarm of Miniature Robots , 2007 .

[4]  Nikolaus Correll,et al.  Multi-level Spatial Modeling for Swarm-Robotic Systems , 2010 .

[5]  Radhika Nagpal,et al.  Self-repair through scale independent self-reconfiguration , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[6]  Viktor K. Prasanna,et al.  Expressing Sensor Network Interaction Patterns Using Data-Driven Macroprogramming , 2007, Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07).

[7]  Victor Luchangco,et al.  The Fortress Language Specification Version 1.0 , 2007 .

[8]  Theo D'Hondt,et al.  Amorphous Geometry , 2001, ECAL.

[9]  John Wawrzynek,et al.  Stream Computations Organized for Reconfigurable Execution (SCORE) , 2000, FPL.

[10]  John Wawrzynek,et al.  Reconfigurable computing: what, why, and implications for design automation , 1999, DAC '99.

[11]  Dominique Lavenier,et al.  RELACS for systolic programming , 1993, Proceedings of International Conference on Application Specific Array Processors (ASAP '93).

[12]  Jacob Beal,et al.  Infrastructure for engineered emergence on sensor/actuator networks , 2006, IEEE Intelligent Systems.

[13]  Thomas A. Henzinger,et al.  Reactive Modules , 1999, Formal Methods Syst. Des..

[14]  Jari Nurmi,et al.  Programming Tools for Reconfigurable Processors , 2007 .

[15]  Robert N. Lass,et al.  A Methodology for Developing an Agent Systems Reference Architecture , 2010, AOSE.

[16]  James A. Reggia,et al.  The Trend Cellular Automata Programming Environment , 2002, Simul..

[17]  Andrew Phillips,et al.  Towards programming languages for genetic engineering of living cells , 2009, Journal of The Royal Society Interface.

[18]  Message Passing Interface Forum MPI: A message - passing interface standard , 1994 .

[19]  Gregory S. Chirikjian,et al.  Modular Self-Reconfigurable Robot Systems [Grand Challenges of Robotics] , 2007, IEEE Robotics & Automation Magazine.

[20]  David E. Culler,et al.  Supporting aggregate queries over ad-hoc wireless sensor networks , 2002, Proceedings Fourth IEEE Workshop on Mobile Computing Systems and Applications.

[21]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[22]  M. Calisti,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2000 .

[23]  Robert N. Lass,et al.  Development and Specification of a Reference Model for Agent-Based Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[24]  Michael F. Worboys,et al.  Monitoring dynamic spatial fields using responsive geosensor networks , 2005, GIS '05.

[25]  Kasper Stoy,et al.  Robust and reversible execution of self-reconfiguration sequences , 2011, Robotica.

[26]  David E. Culler,et al.  Hood: a neighborhood abstraction for sensor networks , 2004, MobiSys '04.

[27]  Nelson Minar,et al.  The Swarm Simulation System: A Toolkit for Building Multi-Agent Simulations , 1996 .

[28]  Sang Hyuk Son,et al.  EnviroTrack: towards an environmental computing paradigm for distributed sensor networks , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[29]  Alois Ferscha,et al.  Peer-it: Stick-on solutions for networks of things , 2008, Pervasive Mob. Comput..

[30]  Amy L. Murphy,et al.  TeenyLIME: transiently shared tuple space middleware for wireless sensor networks , 2006, MidSens '06.

[31]  Mads Tofte,et al.  Pict: A Programming Language Based on the Pi-Calculus , 2000 .

[32]  Tommaso Toffoli,et al.  Cellular automata machines - a new environment for modeling , 1987, MIT Press series in scientific computation.

[33]  Jean-Louis Giavitto,et al.  Topological rewriting and the geometrization of programming , 2008 .

[34]  Seth Copen Goldstein,et al.  A Language for Large Ensembles of Independently Executing Nodes , 2009, ICLP.

[35]  Luca P. Carloni,et al.  Data-Driven Programming Abstractions and Optimization for Multi-Core Platforms , 2011 .

[36]  Michael J. North,et al.  A Declarative Model Assembly Infrastructure for Verification and Validation , 2006, WCSS.

[37]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[38]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[39]  Mario Mango Furnari,et al.  The Cellular Automata Network Compiler System: Modules and Features , 2004, Parallel Computing in Electrical Engineering, 2004. International Conference on.

[40]  Christian Hahn A domain specific modeling language for multiagent systems , 2008, AAMAS.

[41]  André DeHon,et al.  Very Large Scale Spatial Computing , 2002, UMC.

[42]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[43]  Seth Copen Goldstein,et al.  Meld: A declarative approach to programming ensembles , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[44]  Henry Hoffmann,et al.  StreamIt: A Compiler for Streaming Applications ⁄ , 2002 .

[45]  Seth Copen Goldstein,et al.  Tartan: evaluating spatial computation for whole program execution , 2006, ASPLOS XII.

[46]  Chris Hankin,et al.  Continuous-Time Probabilistic KLAIM , 2005, SecCo.

[47]  Yong Yao,et al.  The cougar approach to in-network query processing in sensor networks , 2002, SGMD.

[48]  Brett Benyo,et al.  On the Evaluation of Space-Time Functions , 2011, 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[49]  Radhika Nagpal,et al.  A theory of local-to-global algorithms for one-dimensional spatial multi-agent systems , 2008 .

[50]  Mani B. Srivastava,et al.  SensorWare: Programming sensor networks beyond code update and querying , 2007, Pervasive Mob. Comput..

[51]  Aaron Helsinger,et al.  Cougaar: a scalable, distributed multi-agent architecture , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[52]  Marsette Vona,et al.  Crystalline Robots: Self-Reconfiguration with Compressible Unit Modules , 2001, Auton. Robots.

[53]  Radhika Nagpal,et al.  Collective construction of environmentally-adaptive structures , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[54]  David Kinny The Ψ calculus: An algebraic agent language , 2002 .

[55]  Ramesh Govindan,et al.  Macro-programming Wireless Sensor Networks Using Kairos , 2005, DCOSS.

[56]  Leslie Hart,et al.  The Scalable Modeling System: directive-based code parallelization for distributed and shared memory computers , 2003, Parallel Comput..

[57]  Jean-Louis Giavitto,et al.  Computations in Space and Space in Computations , 2004, UPP.

[58]  Michael J. North,et al.  Tutorial on agent-based modelling and simulation , 2005, Proceedings of the Winter Simulation Conference, 2005..

[59]  M. Welsh,et al.  The Regiment Macroprogramming System , 2007, 2007 6th International Symposium on Information Processing in Sensor Networks.

[60]  Agostino Poggi,et al.  JADE - A Java Agent Development Framework , 2005, Multi-Agent Programming.

[61]  Jacob Beal Programming an Amorphous Computational Medium , 2004, UPP.

[62]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[63]  J. Palmer,et al.  Connection Machine model CM-5 system overview , 1992, [Proceedings 1992] The Fourth Symposium on the Frontiers of Massively Parallel Computation.

[64]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[65]  David E. Culler,et al.  The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.

[66]  Mitchel Resnick StarLogo: an environment for decentralized modeling and decentralized thinking , 1996, CHI Conference Companion.

[67]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[68]  Douglas Densmore,et al.  High-level programming language for Bio-molecular systems , 2011 .

[69]  Alois Ferscha,et al.  A framework for utilizing qualitative spatial relations between networked embedded systems , 2010, Pervasive Mob. Comput..

[70]  Carlos José Pereira de Lucena,et al.  An aspect-oriented generative approach , 2004, OOPSLA '04.

[71]  David Johan Christensen,et al.  The Assemble and Animate Control Framework for Modular Reconfigurable Robots , 2011, IROS 2011.

[72]  Ion Stoica,et al.  Declarative networking: language, execution and optimization , 2006, SIGMOD Conference.

[73]  Bernhard Bauer,et al.  Agent UML : A formalism for specifying multiagent interaction , 2001 .

[74]  Sylvain Martel,et al.  Using a swarm of self-propelled natural microrobots in the form of flagellated bacteria to perform complex micro-assembly tasks , 2010, 2010 IEEE International Conference on Robotics and Automation.

[75]  Herbert M. Sauro,et al.  Antimony: a modular model definition language , 2009, Bioinform..

[76]  Noor Zaman,et al.  A Software Engineering Approach for Access Control to Multi-Level-Security Documents , 2013 .

[77]  Atul Singh,et al.  Applying Prolog to develop distributed systems , 2010, Theory Pract. Log. Program..

[78]  Noor Zaman,et al.  Software Development Techniques for Constructive Information Systems Design , 2013 .

[79]  Jacob Beal,et al.  Building Spatial Computers , 2007 .

[80]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[81]  Amy L. Murphy,et al.  Middleware to support sensor network applications , 2004, IEEE Network.

[82]  László Gulyás,et al.  The Multi-Agent Modelling Language and the Model Design Interface , 1999, J. Artif. Soc. Soc. Simul..

[83]  Thomas Schmickl,et al.  A hormone-based controller for evolutionary multi-modular robotics: From single modules to gait learning , 2010, IEEE Congress on Evolutionary Computation.

[84]  Matt Welsh,et al.  Programming Sensor Networks Using Abstract Regions , 2004, NSDI.

[85]  Jacob Beal Dynamically Defined Processes for Spatial Computers , 2010, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop.

[86]  Ryan Newton,et al.  Region streams: functional macroprogramming for sensor networks , 2004, DMSN '04.

[87]  Luca Mottola,et al.  Programming wireless sensor networks , 2011, ACM Comput. Surv..

[88]  Franco Zambonelli,et al.  A Coordination Approach to Adaptive Pervasive Service Ecosystems , 2011, 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[89]  Rajesh K. Gupta,et al.  Programming models for sensor networks: A survey , 2008, TOSN.

[90]  Clemens Grelck,et al.  CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata , 2007, PaCT.

[91]  Justin Werfel,et al.  Anthills built to order: automating construction with artificial swarms , 2006 .

[92]  Radhika Nagpal Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics , 2001 .

[93]  Mirko Viroli,et al.  Self-organising Pervasive Ecosystems: A Crowd Evacuation Example , 2011, SERENE.

[94]  Yolande Berbers,et al.  Geo-Linda: a Geometry Aware Distributed Tuple Space , 2007, 21st International Conference on Advanced Information Networking and Applications (AINA '07).

[95]  Daniel Coore,et al.  Botanical computing: a developmental approach to generating interconnect topologies on an amorphous computer , 1999 .

[96]  Iuliu Vasilescu,et al.  Miche: Modular Shape Formation by Self-Disassembly , 2008, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[97]  Fang Wang,et al.  Netlog, a Rule-Based Language for Distributed Programming , 2010, PADL.

[98]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[99]  Bradley C. Kuszmaul,et al.  Cilk: an efficient multithreaded runtime system , 1995, PPOPP '95.

[100]  Jacob Beal,et al.  An agent framework for agent societies , 2011, SPLASH Workshops.

[101]  Ernst Dieter Gilles,et al.  ProMoT: modular modeling for systems biology , 2009, Bioinform..

[102]  Feng Zhao,et al.  State-Centric Programming for Sensor-Actuator Network Systems , 2003, IEEE Pervasive Comput..

[103]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[104]  R. Weiss,et al.  Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks , 2011, PloS one.

[105]  David Chu,et al.  Entirely declarative sensor network systems , 2006, VLDB.

[106]  Fernando Ferreira,et al.  Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings , 2010, CiE.

[107]  Yves Métivier,et al.  The Power and the Limitations of Local Computations on Graphs , 1992, WG.

[108]  Marco Dorigo,et al.  Morphology control in a multirobot system , 2007, IEEE Robotics & Automation Magazine.

[109]  Jacob Beal,et al.  On the Evaluation of Space-Time Functions , 2011, SASO Workshops.

[110]  Jacob Beal,et al.  Composable continuous-space programs for robotic swarms , 2010, Neural Computing and Applications.

[111]  Elizabeth Sklar,et al.  NetLogo, a Multi-agent Simulation Environment , 2007, Artificial Life.

[112]  Przemyslaw Prusinkiewicz,et al.  The Algorithmic Beauty of Plants , 1990, The Virtual Laboratory.

[113]  J. Michalakes Same-source parallel implementation of the PSU/NCAR MM5 , 1997 .

[114]  Peter R. Cappello,et al.  The SDEF Programming System , 1989, J. Parallel Distributed Comput..

[115]  Jacob Beal,et al.  A Basis Set of Operators for Space-Time Computations , 2010, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop.

[116]  Heinz Wörn,et al.  JaMOS-A MDL 2 ǫ based Operating System for Swarm Micro Robotics , 2007 .

[117]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[118]  D. Jeya Mala,et al.  A Multi Agent Based Approach for Critical Components Identification and Testing , 2014, Int. J. Syst. Serv. Oriented Eng..

[119]  Luca Mottola,et al.  Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks , 2006, DCOSS.

[120]  Jeremy Gunawardena,et al.  Programming with models: modularity and abstraction provide powerful capabilities for systems biology , 2009, Journal of The Royal Society Interface.

[121]  Philip Levis,et al.  Maté: a tiny virtual machine for sensor networks , 2002, ASPLOS X.

[122]  Radovan Cervenka,et al.  Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS , 2005, Informatica.

[123]  Luca Cardelli,et al.  Processes in Space , 2010, CiE.

[124]  Steven Swanson,et al.  The WaveScalar architecture , 2007, TOCS.

[125]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[126]  Zack J. Butler,et al.  Self-reconfiguring robots , 2002, CACM.

[127]  Nadia Nedjah,et al.  Modern development methods and tools for embedded reconfigurable systems: A survey , 2010, Integr..

[128]  S. Bhanja,et al.  Scalable probabilistic computing models using Bayesian networks , 2005, 48th Midwest Symposium on Circuits and Systems, 2005..

[129]  Luca Mottola,et al.  Building virtual sensors and actuators over logical neighborhoods , 2006, MidSens '06.

[130]  Liviu Iftode,et al.  Spatial programming using smart messages: design and implementation , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[131]  Eric Klavins,et al.  A grammatical approach to self-organizing robotic systems , 2006, IEEE Transactions on Automatic Control.

[132]  Arun Khosla,et al.  Nature-Inspired Toolbox to Design and Optimize Systems , 2012 .

[133]  E. D'Hondt,et al.  Experiments in Amorphous Geometry , 2001 .

[134]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[135]  Bruce J. MacLennan,et al.  Continuous Spatial Automata , 1990 .

[136]  Chris Hanson,et al.  Amorphous computing , 2000, Commun. ACM.

[137]  Paulo S. C. Alencar,et al.  A Generative Approach for Multi-agent System Development , 2004, SELMAS.

[138]  Kay Römer,et al.  Algorithms for generic role assignment in wireless sensor networks , 2005, SenSys '05.

[139]  Bruce Edmonds,et al.  SDML: A Multi-Agent Language for Organizational Modelling , 1998, Comput. Math. Organ. Theory.

[140]  Uwe Freiwald,et al.  The Java based cellular automata simulation system--JCASim , 2002, Future Gener. Comput. Syst..

[141]  Franco Zambonelli,et al.  A survey on nature-inspired metaphors for pervasive service ecosystems , 2011, Int. J. Pervasive Comput. Commun..

[142]  Chenyang Lu,et al.  Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications , 2005, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).

[143]  Alcherio Martinoli,et al.  Modeling Swarm Robotic Systems: a Case Study in Collaborative Distributed Manipulation , 2004, Int. J. Robotics Res..

[144]  Chien-Chung Shen,et al.  Sensor information networking architecture and applications , 2001, IEEE Wirel. Commun..

[145]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[146]  Attila Kondacs Biologically-inspired Self-Assembly of 2D Shapes, Using Global-to-local Compilation , 2003, IJCAI 2003.

[147]  Werner Dubitzky,et al.  Large-Scale Computing Techniques for Complex System Simulations , 2011 .

[148]  Nachiket Kapre,et al.  Spatial hardware implementation for sparse graph algorithms in GraphStep , 2011, TAAS.

[149]  Nancy M. Amato,et al.  Distributed reconfiguration of metamorphic robot chains , 2004, PODC '00.

[150]  Sean Luke,et al.  MASON: A New Multi-Agent Simulation Toolkit , 2004 .

[151]  Domenico Talia,et al.  A high-level cellular programming model for massively parallel processing , 1997, Proceedings Second International Workshop on High-Level Parallel Programming Models and Supportive Environments.

[152]  Ramesh Govindan,et al.  Reliable and efficient programming abstractions for wireless sensor networks , 2007, PLDI '07.

[153]  Káthia Marçal de Oliveira,et al.  A Context-Aware MDA Approach for Content Personalization in User Interface Development , 2014 .

[154]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[155]  Daniel Coore,et al.  Self-organizing Text in an Amorphous Environment , 2010 .

[156]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

[157]  Mario E Inchiosa,et al.  Overcoming design and development challenges in agent-based modeling using ascape , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[158]  Sang Hyuk Son,et al.  Event Detection Services Using Data Service Middleware in Distributed Sensor Networks , 2003, Telecommun. Syst..

[159]  Franco Zambonelli,et al.  Programming pervasive and mobile computing applications: The TOTA approach , 2009, TSEM.

[160]  George K. Thiruvathukal PYNSOL : OBJECTS AS SCAFFOLDING , .

[161]  S. Forrest,et al.  Modeling Complex Adaptive Systems with Echo , 1994 .

[162]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[163]  Ulrik Pagh Schultz,et al.  Generalized programming of modular robots through kinematic configurations , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[164]  Henry Hoffmann,et al.  The Raw Microprocessor: A Computational Fabric for Software Circuits and General-Purpose Programs , 2002, IEEE Micro.

[165]  David Maier,et al.  Dedalus: Datalog in Time and Space , 2010, Datalog.

[166]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[167]  Jean-Louis Giavitto,et al.  Computation in Space and Space in Computation , 2004 .

[168]  Kamin Whitehouse,et al.  MacroLab: a vector-based macroprogramming framework for cyber-physical systems , 2008, SenSys '08.

[169]  Heinz Wörn,et al.  JaMOS - A MDL2/spl epsi/ based Operating System for Swarm Micro Robotics , 2007, 2007 IEEE Swarm Intelligence Symposium.

[170]  H. T. Kung,et al.  The Warp Computer: Architecture, Implementation, and Performance , 1987, IEEE Transactions on Computers.

[171]  Benjamin C. Pierce,et al.  Pict: a programming language based on the Pi-Calculus , 2000, Proof, Language, and Interaction.

[172]  Qunying Huang,et al.  Using spatial principles to optimize distributed computing for enabling the physical science discoveries , 2011, Proceedings of the National Academy of Sciences.

[173]  Chris R. Jesshope,et al.  Evaluating CMPs and Their Memory Architecture , 2009, ARCS.

[174]  Michel Banâtre,et al.  Ambient computing applications: an experience with the SPREAD approach , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[175]  Chris J. Myers,et al.  Tablet—next generation sequence assembly visualization , 2009, Bioinform..

[176]  David Kinny The Psi Calculus: An Algebraic Agent Language , 2001, ATAL.

[177]  Francesco Mondada,et al.  Understanding collective aggregation mechanisms: From probabilistic modelling to experiments with real robots , 1999, Robotics Auton. Syst..

[178]  Olivier Michel,et al.  Computational models for integrative and developmental biology , 2002 .

[179]  David Johan Christensen,et al.  Spatial Computing with Labels , 2008, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[180]  Franco Zambonelli,et al.  Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces , 2011, TAAS.

[181]  Joe Armstrong,et al.  A history of Erlang , 2007, HOPL.

[182]  Nicholas R. Jennings Agent-Oriented Software Engineering , 1999, MAAMAW.

[183]  Ron Weiss,et al.  Cellular computation and communications using engineered genetic regulatory networks , 2001, Cellular Computing.

[184]  Norman Margolus CAM-8: a computer architecture based on cellular automata , 1995 .

[185]  William Butera Text Display and Graphics Control on a Paintable Computer , 2007, First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007).

[186]  Stephanie Forrest,et al.  An Introduction to SFI Echo , 1993 .

[187]  Philip Levis,et al.  The nesC language: a holistic approach to networked embedded systems , 2003, SIGP.

[188]  Radhika Nagpal,et al.  Building Patterned Structures with Robot Swarms , 2005, IJCAI.

[189]  Wei-Min Shen,et al.  Hormone-Inspired Self-Organization and Distributed Control of Robotic Swarms , 2004, Auton. Robots.

[190]  Jean Peccoud,et al.  Writing DNA with GenoCAD™ , 2009, Nucleic Acids Res..

[191]  John Michalakes Flic: a Translator for Same-source Parallel Implementation of Regular Grid Applications , 1997 .

[192]  R. I. Bahar,et al.  A Probabilistic Approach to Nano-computing , 2003 .

[193]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[194]  Jorge J. Gómez-Sanz,et al.  FAML: A Generic Metamodel for MAS Development , 2009, IEEE Transactions on Software Engineering.

[195]  Philip Wadler,et al.  Featherweight Java: a minimal core calculus for Java and GJ , 2001, TOPL.

[196]  Siddhartha S. Srinivasa,et al.  Generalizing metamodules to simplify planning in modular robotic systems , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.