A. Annexe-a-liste-degroote and S. Lacroix, A control architecture for autonomous robots founded on resource agents, 2012.

G. Echeverria, S. Lemaignan, A. Degroote, S. Lacroix, M. Karg et al., User Driven Improvements to Robotics Simulation in MORSE, Submitted to Simulation, Modeling, and Programming for Autonomous Robots, 2012.

A. Degroote and S. Lacroix, Roar : Resource oriented agent architecture for the autonomy of robots, International Conference on Robotics and Automation, 2011.

A. Degroote and S. Lacroix, Roar : Resource oriented agent architecture for the autonomy of robots, 9th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), 2011.

G. Echeverria, N. Lassabe, A. Degroote, and S. Lemaignan, Modular open robots simulation engine: MORSE, 2011 IEEE International Conference on Robotics and Automation, pp.46-51, 2011.
DOI : 10.1109/ICRA.2011.5980252

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.469.4292

R. Boumghar, C. Roussillon, A. Degroote, P. Cox, V. D. Vandeportaele et al., OVER THE HILL AND FAR AWAY: AERIAL/GROUND COOPERATION FOR LONG RANGE NAVIGATION, Field Robotics, 2011.
DOI : 10.1142/9789814374286_0025

A. Degroote and S. Lacroix, Roar : une architecture orientée agents pour l'autonomie des robots, 18ème congrès francophone sur la Reconnaissance des Formes et l'Intelli- ANNEXE A. LISTE DES PUBLICATIONS gence Artificielle, 2012.

A. Degroote and S. Lacroix, Une architecture pour l'autonomie des robots basée sur des agents-ressources, 6ème Conférence francophone sur les architectures logicielles, 2012.

A. Degroote and S. Lacroix, A resource-agents robot control architecture : design and formalization, 7ème Conférence francophone sur les architectures logicielles, 2012.

A. Degroote and S. Lacroix, Structuring processes into abilities : an informationoriented architecture for autonomous robots, 5th National Conference on Control Architectures of Robots, 2010.

T. Agerwala and M. Flynn, Comments on capabilities, limitations and ???correctness??? of Petri nets, ACM SIGARCH Computer Architecture News, vol.2, issue.4, pp.81-86, 1973.
DOI : 10.1145/633642.803973

R. Alami, R. Chatila, S. Fleury, M. Ghallab, I. et al., An Architecture for Autonomy, The International Journal of Robotics Research, vol.17, issue.4, pp.315-337, 1998.
DOI : 10.1177/027836499801700402

URL : https://hal.archives-ouvertes.fr/hal-00123273

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures. Fundamental Approaches to Software Engineering, pp.21-37, 1998.
DOI : 10.1007/bfb0053581

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5206

B. Ammar, K. Abdallah, and B. Faiza, Rewriting logic based approach for the formalization of critical systems based on multi-agent system, International Journal of Computer Applications, vol.13, issue.2, pp.6-13, 2011.

N. Ando, T. Suehiro, K. Kitagaki, T. Kotoku, and W. Yoon, RT-middleware: distributed component middleware for RT (robot technology), 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.3933-3938, 2005.
DOI : 10.1109/IROS.2005.1545521

J. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

J. Andreoli and R. Pareschi, Linear objects: Logical processes with built-in inheritance, New Generation Computing, vol.1, issue.3-4, pp.495-510, 1991.
DOI : 10.1007/BF03037173

K. Bae and J. Meseguer, The Linear Temporal Logic of Rewriting Maude Model Checker, Rewriting Logic and Its Applications, pp.208-225, 2010.
DOI : 10.1007/978-3-642-16310-4_14

J. Baillie, URBI: towards a universal robotic low-level programming language, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.820-825, 2005.
DOI : 10.1109/IROS.2005.1545467

M. Barbier, J. Gabard, D. Vizcaino, and O. Bonnet-torrès, Procosa : a software package for autonomous system supervision, 1st National Workshop on Control Architectures of Robots : software approaches and issues, 2006.

M. Beetz, Concurrent reactive plans : anticipating and forestalling execution failures, 2000.
DOI : 10.1007/3-540-46436-0

G. Bellin and P. Scott, On the ??-calculus and linear logic, Theoretical Computer Science, vol.135, issue.1, pp.11-65, 1994.
DOI : 10.1016/0304-3975(94)00104-9

D. Bernard, G. Dorais, C. Fry, E. G. Jr, B. Kanefsky et al., Design of the Remote Agent experiment for spacecraft autonomy, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339), 1998.
DOI : 10.1109/AERO.1998.687914

B. Berry and G. , The foundations of Esterel. Proof, Language and Interaction : Essays in Honour of Robin Milner, pp.425-454, 2000.

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time Petri nets, Proceedings IFIP. Citeseer, 1983.

J. Bohren and S. Cousins, The SMACH High-Level Executive [ROS News], IEEE Robotics & Automation Magazine, vol.17, issue.4, pp.18-20, 2010.
DOI : 10.1109/MRA.2010.938836

R. P. Bonasso, D. Kortenkamp, D. P. Miller, and M. Slack, Experiences with an architecture for intelligent, reactive agents, Journal of experimental and theorical artificial intelligence, vol.9, pp.237-256, 1995.
DOI : 10.1007/3540608052_67

J. Borrelly, É. Coste-maniere, B. Espiau, K. Kapellos, R. Pissard-gibollet et al., The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, p.338, 1998.
DOI : 10.1177/027836499801700403

URL : https://hal.archives-ouvertes.fr/hal-00930119

R. Boumghar and S. Lacroix, OVER THE HILL AND FAR AWAY: AERIAL/GROUND COOPERATION FOR LONG RANGE NAVIGATION, Field Robotics, pp.215-222, 2011.
DOI : 10.1142/9789814374286_0025

R. Boumghar, C. Roussillon, A. Degroote, P. Cox, V. D. Vandeportaele et al., OVER THE HILL AND FAR AWAY: AERIAL/GROUND COOPERATION FOR LONG RANGE NAVIGATION, Field Robotics, 2011.
DOI : 10.1142/9789814374286_0025

M. Bozzano, G. Delzanno, and M. Martelli, Model checking linear logic specifications, Theory and Practice of Logic Programming, pp.5-6573, 2004.
DOI : 10.1017/S1471068404002066

A. Brooks, T. Kaupp, A. Makarenko, S. Williams, and A. Oreback, Orca: A Component Model and Repository, Software Engineering for Experimental Robotics, pp.231-251, 2007.
DOI : 10.1007/978-3-540-68951-5_13

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.1653

R. A. Brooks, Elephants don't play chess, Robotics and Autonomous Systems, vol.6, issue.1-2, pp.3-15, 1990.
DOI : 10.1016/S0921-8890(05)80025-9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.6657

D. Brugali, Software engineering for experimental robotics, 2007.
DOI : 10.1007/978-3-540-68951-5

D. Brugali and A. Shakhimardanov, Component-Based Robotic Engineering (Part II), IEEE Robotics & Automation Magazine, vol.17, issue.1, 2010.
DOI : 10.1109/MRA.2010.935798

H. Bruyninckx, Open robot control software: the OROCOS project, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), pp.2523-2528, 2001.
DOI : 10.1109/ROBOT.2001.933002

D. Busquets, C. Sierra, D. Màntaras, and R. , A multiagent approach to qualitative landmark-based navigation, Autonomous Robots, vol.15, issue.2, pp.129-154, 2003.
DOI : 10.1023/A:1025536924463

I. Cervesato, F. Pfenning, D. Walker, and K. Watkins, A concurrent logical framework ii : Examples and applications, 2003.

I. Cervesato and A. Scedrov, Relating state-based and process-based concurrency through linear logic (full-version) Information and Computation, pp.1044-1077, 2009.
DOI : 10.1016/j.ic.2008.11.006

URL : http://doi.org/10.1016/j.ic.2008.11.006

K. Chaudhuri, The focused inverse method for linear logic, 2006.

K. Chaudhuri and F. Pfenning, A Focusing Inverse Method Theorem Prover for First-Order Linear Logic, Automated Deduction ? CADE-20, pp.737-737, 2005.
DOI : 10.1007/11532231_6

S. Chien, R. Knight, A. Stechert, R. Sherwood, and G. Rabideau, Using iterative repair to improve responsiveness of planning and scheduling, Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling, pp.300-307, 2000.

F. Collé, R. Champagnat, and A. Prigent, Scenario analysis based on linear logic, Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology , ACE '05, 2005.
DOI : 10.1145/1178477.1178583

E. Coste-manière and B. Espiau, Special Issue on Integrated Architectures for Robot Control and Programming, The International Journal of Robotics Research, vol.17, issue.4, 1998.
DOI : 10.1177/027836499801700401

E. Coste-manière and R. Simmons, Architecture, the backbone of robotic systems, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065), 2000.
DOI : 10.1109/ROBOT.2000.844041

S. Cresswell, A. Smaill, and J. And-richardson, Deductive Synthesis of Recursive Plans in Linear Logic, Proceedings of the 5th European Conference on Planning : Recent Advances in AI Planning, pp.252-264, 2000.
DOI : 10.1007/10720246_20

A. Degroote and S. Lacroix, Structuring processes into abilities : an information-oriented architecture for autonomous robots, 5th National Conference on Control Architectures of Robots, 2010.

A. Degroote and S. Lacroix, Roar : Resource oriented agent architecture for the autonomy of robots, International Conference on Robotics and Automation, 2011.

A. Degroote and S. Lacroix, Roar : Resource oriented agent architecture for the autonomy of robots, 9th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), 2011.

A. Degroote and S. Lacroix, A control architecture for autonomous robots founded on resource agents, 2012.

A. Degroote and S. Lacroix, A resource-agents robot control architecture : design and formalization, 7th National Conference on Control Architectures of Robots, 2012.

A. Degroote and S. Lacroix, Roar : une architecture orientée agents pour l'autonomie des robots, 18ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle, 2012.

A. Degroote and S. Lacroix, Une architecture pour l'autonomie des robots basée sur des agents-ressources, 6ème Conférence francophone sur les architectures logicielles, 2012.

L. Dixon, A. Smaill, and A. Bundy, Planning as deductive synthesis in intuitionistic linear logic, 2006.

G. Dowek, C. Munoz, and C. Pasareanu, A formal analysis framework for plexil, Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems, pp.45-51, 2007.

G. Dowek, C. Muñoz, and C. Rocha, Rewriting Logic Semantics of a Plan Execution Language, Electronic Proceedings in Theoretical Computer Science, pp.77-91, 2010.
DOI : 10.4204/EPTCS.18.6

E. Eberbach, R. Brooks, and S. Phoha, Flexible Optimization and Evolution of Underwater Autonomous Agents, New Directions in Rough Sets, Data Mining, and Granular-Soft Computing, pp.519-527, 1999.
DOI : 10.1007/978-3-540-48061-7_64

G. Echeverria, N. Lassabe, A. Degroote, and S. Lemaignan, Modular open robots simulation engine: MORSE, 2011 IEEE International Conference on Robotics and Automation, pp.46-51, 2011.
DOI : 10.1109/ICRA.2011.5980252

G. Echeverria, S. Lemaignan, A. Degroote, S. Lacroix, M. Karg et al., User Driven Improvements to Robotics Simulation in MORSE, Submitted to Simulation, Modeling, and Programming for Autonomous Ro- bots, 2012.

T. Estlin, R. Volpe, I. Nesnas, D. Mutz, F. Fisher et al., Decision-making in a robotic architecture for autonomy, Proceedings of the International Symposium on Artificial Intelligence, Robotics, and Automation in Space, 2001.

F. Fages, P. Ruet, and S. Soliman, Linear Concurrent Constraint Programming: Operational and Phase Semantics, Information and Computation, vol.165, issue.1, pp.14-41, 2001.
DOI : 10.1006/inco.2000.3002

URL : https://hal.archives-ouvertes.fr/hal-01431358

R. Firby, Adaptive Execution in Complex Dynamic Worlds, 1989.

P. Fitzpatrick, G. Metta, N. , and L. , Towards long-lived robot genes, Robotics and Autonomous Systems, vol.56, issue.1, pp.29-45, 2008.
DOI : 10.1016/j.robot.2007.09.014

S. Fleury, M. Herrb, C. , and R. , GenoM : a tool for the specification and the implementation of operating modules in a distributed robot architecture, Proceedings of the 1997 IEEE, pp.842-849, 1997.

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.159-173, 2010.
DOI : 10.1145/1925805.1925814

E. Gat, ALFA: a language for programming reactive robotic control systems, Proceedings. 1991 IEEE International Conference on Robotics and Automation, pp.1116-1121, 1991.
DOI : 10.1109/ROBOT.1991.131743

E. Gat, Integrating reaction and planning in a heterogeneous asynchronous architecture for mobile robot navigation, ACM SIGART Bulletin, vol.2, issue.4, pp.70-74, 1991.
DOI : 10.1145/122344.122357

E. Gat, ESL: a language for supporting robust plan execution in embedded autonomous agents, 1997 IEEE Aerospace Conference, pp.319-324, 1997.
DOI : 10.1109/AERO.1997.574422

E. Gat, On three-layer architectures, Artificial intelligence and mobile robots, pp.195-210, 1997.

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935.
DOI : 10.1007/BF01201353

P. Giorgini, M. Kolp, M. , and J. , Multi-agent architectures as organizational structures, Autonomous Agents and Multi-Agent Systems, vol.13, 2001.

J. Girard, Linear logic. Theoretical computer science, pp.1-101, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

J. Harland and D. Pym, Resource-distribution via Boolean constraints, pp.222-236, 1997.

R. Hartley and F. Pipitone, Experiments with the subsumption architecture, Proceedings. 1991 IEEE International Conference on Robotics and Automation, pp.1652-1658, 1991.
DOI : 10.1109/ROBOT.1991.131856

C. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

J. Hodas and D. Miller, Logic programming in a fragment of intuitionistic linear logic, Logic in Computer Science, 1991. LICS'91 Proceedings of Sixth Annual IEEE Symposium on, pp.32-42, 1991.

F. F. Ingrand, R. Chatila, R. Alami, R. , and F. , PRS: a high level supervision and control language for autonomous mobile robots, Proceedings of IEEE International Conference on Robotics and Automation, 1996.
DOI : 10.1109/ROBOT.1996.503571

B. Innocenti, B. López, and J. Salvi, A multi-agent architecture with cooperative fuzzy control for a mobile robot, Robotics and Autonomous Systems, vol.55, issue.12, pp.55881-891, 2007.
DOI : 10.1016/j.robot.2007.07.007

R. Janicki and M. Koutny, Semantics of Inhibitor Nets, Information and Computation, vol.123, issue.1, pp.1-16, 1995.
DOI : 10.1006/inco.1995.1153

K. Jensen, Coloured Petri Nets, Petri Nets : Central Models and Their Properties, pp.248-299, 1007.
DOI : 10.1007/978-3-540-47919-2_10

K. Jensen, L. Kristensen, W. , and L. , Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.213-254, 2007.
DOI : 10.1007/s10009-007-0038-x

A. Jonsson, V. Verma, C. Pasareanu, and M. Iatauro, Universal Executive and PLEXIL : Engine and Language for Robust Spacecraft Control and Operations, AIAA Space Confe- rence, 2006.

S. Joyeux, R. Alami, S. Lacroix, and R. Philippsen, A Plan Manager for Multi-robot Systems, The International Journal of Robotics Research, vol.28, issue.2, pp.220-240, 2009.
DOI : 10.1177/0278364908098370

URL : https://hal.archives-ouvertes.fr/hal-00166798

O. Kahramano?-gullar?, On linear logic planning and concurrency, Information and Computation, vol.207, issue.11, pp.1229-1258, 2009.
DOI : 10.1016/j.ic.2009.02.008

M. Kanovich and J. Vauzeilles, The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity, Mathematical Structures in Computer Science, vol.11, issue.06, pp.689-716, 2001.
DOI : 10.1017/S0960129501003413

URL : https://hal.archives-ouvertes.fr/hal-00003493

N. Kobayashi and A. Yonezawa, ACL -A concurrent linear logic programming paradigm, Proceedings of the 1993 International Logic Programming Symposium, pp.279-294, 1993.

F. Kuhl, R. Weatherly, and J. And-dahmann, Creating computer simulation systems : an introduction to the high level architecture, 1999.

P. Küngas, Resource-conscious AI planning with conjunctions and disjunctions, Acta Cybernetica, vol.15, issue.4, pp.601-620, 2002.

S. Lacroix, A. Mallet, D. Bonnafous, G. Bauzil, S. Fleury et al., Autonomous rover navigation on unknown terrains : Functions and integration, International Journal of Robotics Research, vol.21, pp.10-11917, 2002.

J. Lloyd, Foundations of Logic Programming, 1987.

P. López, F. Pfenning, J. Polakow, and K. Watkins, Monadic concurrent linear logic programming, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.35-46, 2005.
DOI : 10.1145/1069774.1069778

D. Lyons, Representing and analyzing action plans as networks of concurrent processes Robotics and Automation, IEEE Transactions on, vol.9, issue.3, pp.241-256, 1993.

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, I. et al., GenoM3: Building middleware-independent robotic components, 2010 IEEE International Conference on Robotics and Automation, 2010.
DOI : 10.1109/ROBOT.2010.5509539

N. Martí-oliet and J. Meseguer, From Petri Nets to Linear Logic, Category Theory and Computer Science, pp.313-340, 1989.

N. Marti-oliet and J. Meseguer, Rewriting Logic as a Logical and Semantic Framework, Electronic Notes in Theoretical Computer Science, vol.4, pp.190-225, 1996.
DOI : 10.1007/978-94-017-0464-9_1

N. Marti-oliet and J. Meseguer, Dynamic Worlds : From the Frame Problem to Knowledge Management, chapter Action and change in rewriting logic, 1999.

C. Mcgann, F. Py, K. Rajan, and A. G. Olaya, Integrated Planning and Execution for Robotic Exploration, International Workshop on Hybrid Control of Autonomous Systems, 2009.

C. Mcgann, F. Py, K. Rajan, H. Thomas, R. Henthorn et al., A deliberative architecture for AUV control, 2008 IEEE International Conference on Robotics and Automation, 2008.
DOI : 10.1109/ROBOT.2008.4543343

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

J. Meseguer, M. Palomino, M. Oliet, and N. , Notes on model checking and abstraction in rewriting logic, 2003.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

R. Milner, A calculus of communicating systems, 1982.
DOI : 10.1007/3-540-10235-3

R. Milner, The definition of standard ML : revised, 1997.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992.
DOI : 10.1016/0890-5401(92)90008-4

G. Mints, Resolution calculus for the first order linear logic, Journal of Logic, Language and Information, vol.35, issue.N2, pp.59-83, 1993.
DOI : 10.1007/BF01051768

E. Moggi, Notions of computation and monads. Information and computation, pp.55-92, 1991.

B. Morandi, S. S. Bauer, M. , and B. , SCOOP ??? A Contract-Based Concurrent Object-Oriented Programming Model, Lecture Notes in Computer Science, vol.21, issue.4, pp.41-90, 2007.
DOI : 10.1007/s00165-008-0073-8

N. Muscettola, G. Dorais, C. Levinson, and C. Plaunt, IDEA : Planning at the Core of Autonomous Reactive Agents, International NASA Workshop on Planning and Scheduling for Space, 2002.

P. Newman, MOOS-mission orientated operating suite, Massachusetts Institute of Technology , Tech. Rep, issue.08, p.2299, 2008.

N. J. Nilsson, Principles of artificial intelligence, 1980.
DOI : 10.1007/978-3-662-09438-9

T. Nipkow, M. Wenzel, and L. Paulson, Isabelle/HOL : a proof assistant for higherorder logic, 2002.
DOI : 10.1007/3-540-45949-9

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.
DOI : 10.1145/986710.986728

J. Peterson and G. Hager, Monadic robotics, the Proceedings of the Workshop on Domain Specific Languages, 1999.

J. Peterson, P. Hudak, E. , and C. , Lambda in motion : Controlling robots with haskell. Practical Aspects of Declarative Languages, pp.91-105, 1998.

F. Py and F. Ingrand, Dependable execution control for autonomous robots, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), 2004.
DOI : 10.1109/IROS.2004.1389549

F. Py, K. Rajan, and C. Mcgann, A systematic agent framework for situated autonomous systems, 9th International Conference on Autonomous Agents and Multiagent Systems, pp.583-590, 2010.

I. Pyarali, T. Harrison, D. Schmidt, J. , and T. , Proactor ? An Object Behavioral Pattern for Demultiplexing and Dispatching Handlers for Asynchronous Events, 4th annual Pattern Languages of Programming conference in Allerton Park, 1997.

M. Quigley, K. Conley, B. P. Gerkey, J. Faust, T. Foote et al., ROS : an open-source Robot Operating System, ICRA Workshop on Open Source Software, 2009.

M. Radestock and S. Eisenbach, Coordination in evolving systems, Distributed Systems CORBA and Beyond, pp.162-176, 1996.
DOI : 10.1007/3-540-61842-2_34

A. Roscoe, Model-checking csp. A Classical Mind, Essays in Honour of CAR Hoare, pp.353-378, 1994.

C. Roussillon, A. Gonzalez, J. Solà, J. Codol, N. Mansard et al., RT-SLAM: A Generic and Real-Time Visual SLAM Implementation, International Conference on Vision Systems, 2011.
DOI : 10.1016/j.patrec.2005.03.022

URL : https://hal.archives-ouvertes.fr/hal-00667191

A. Schack-nielsen and C. Schürmann, Celf ? A Logical Framework for Deductive and Concurrent Systems (System Description) Automated Reasoning, pp.320-326, 2008.

D. Schmidt, M. Stal, H. Rohnert, and F. Buschmann, Pattern-oriented software architecture : Patterns for concurrent and networked objects, 2000.

A. Shakhimardanov, J. Paulus, N. Hochgeschwender, M. Reckhaus, and G. K. Kraetzschma, Best Practice in Robotics : Best Practice Assessment of Software Technologies for Robotics, 2010.

R. Simmons and D. Apfelbaum, A task description language for robot control, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190), 1998.
DOI : 10.1109/IROS.1998.724883

R. Smith, The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver, IEEE Transactions on Computers, vol.29, issue.12, pp.1104-1113, 1980.
DOI : 10.1109/TC.1980.1675516

J. Soler, V. Julián, C. Carrascosa, and V. J. Botti, Applying the ARTIS Agent Architecture to Mobile Robot Control, Proceedings of the 7th Ibero-American Conference on AI : Advances in Artificial Intelligence, pp.359-368, 2000.

S. Soliman, Phase model checking for some linear logic calculi, Proceedings of the Second International Workshop of the Implementation of Logics, pp.60-80, 2001.

M. Stehr, J. Meseguer, and P. Olveczky, Rewriting logic as a unifying framework for petri nets. Unifying Petri Nets, pp.250-303, 2001.

J. Sun, Y. Liu, D. , and J. , Model checking CSP revisited : Introducing a process analysis toolkit. Leveraging Applications of Formal Methods, Verification and Validation, pp.307-322, 2009.

T. Tammet, Proof strategies in linear logic, Journal of Automated Reasoning, vol.12, issue.1?3, pp.273-304, 1994.
DOI : 10.1007/BF00885763

F. Tang, A Complete Methodology for Generating Multi-Robot Task Solutions using ASyMTRe-D and Market-Based Task Allocation, Proceedings 2007 IEEE International Conference on Robotics and Automation, pp.3351-3358, 2007.
DOI : 10.1109/ROBOT.2007.363990

F. Tang and L. E. Parker, ASyMTRe: Automated Synthesis of Multi-Robot Task Solutions through Software Reconfiguration, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp.1513-1520, 2005.
DOI : 10.1109/ROBOT.2005.1570327

P. Viry, Input/Output for ELAN, Electronic Notes in Theoretical Computer Science, vol.4, pp.51-64, 1996.
DOI : 10.1016/S1571-0661(04)00033-7

URL : http://doi.org/10.1016/s1571-0661(04)00033-7

R. Volpe, I. Nesnas, T. Estlin, D. Mutz, R. Petras et al., The CLARAty architecture for robotic autonomy, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542), 2001.
DOI : 10.1109/AERO.2001.931701

K. Watkins, I. Cervesato, F. Pfenning, and D. Walker, A concurrent logical framework : The propositional fragment. Types for Proofs and Programs, pp.355-377, 2004.

W. Reisig, Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien. Leitfäden der Informatik. Vieweg+Teubner. 248 pages, 2010.

V. Ziparo, L. Iocchi, D. Nardi, P. Palamara, C. et al., Petri Net Plans, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems International Foundation for Autonomous Agents and Multiagent Systems, pp.79-86, 2008.
DOI : 10.1007/s10458-010-9146-1