暂无分享,去创建一个
Jacob Beal | Mirko Viroli | Nikolaus Correll | Kyle Usbeck | Stefan Dulman | Mirko Viroli | J. Beal | N. Correll | S. Dulman | K. Usbeck
[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.