REFERENCES
- Boile , J. , M. Cardella , S. Blanyalet , M. Juric , S. Carey , C. Praveen , Y. Coene , K. Geminiuc , M. Zirn , and H. Gaur . 2006 . BPEL Cookbook . Birmingham , UK : Packt Publishing .
- Cardelli , L. , and A. Gordon . 1998 . Mobile ambients. In Proceedings of the first international conference on foundations of software science and computation structure, vol. 1378 of LNCS, 140–155. Heidelberg, Germany: Springer-Verlag.
- Esteva , M. , D. de la Cruz , and C. Sierra . 2002 . Islander: An electronic institutions editor. In AAMAS ′02: Proceedings of the first international joint conference on autonomous agents and multiagent systems, 1045–1052, New York, NY, USA: ACM.
- Esteva , M. , B. Rosell , J. A. Rodriguez-Aguilar , and J. L. Arcos . 2004 . Ameli: An agent-based middleware for electronic institutions . Autonomous Agents and Multiagent Systems, International Joint Conference on , 1 : 236 – 243 .
- Harel , D. , and M. Politi . 1998 . Modeling reactive systems with statecharts: The statemate approach, , 1st ed. New York , NY , USA : McGraw-Hill .
- Jennings , N. R. , P. Faratin , M. J. Johnson , and M. E. Wieg . 1996 . Using intelligent agents to manage business processes. In In Proceedings of the first international conference on the practical application of intelligent agents and multi-agent technology (PAAM'96), 345–360. Blackpool , UK : The Practical Application Company, Ltd.
- Milner , R. 1999 . Communicating and mobile systems: The pi-calculus . Cambridge , UK : University Press .
- Shepherdson , J. W. , S. G. Thompson , and B. Odgers . 1999 . Cross organizational workflow co-ordinated by software agents. In Proceedings of the workshop on cross-organizational workflow management and co-ordination. Germany: CEUR Workshop Proceedings .
- Sierra , C. , J. A. Rodriguez-Aguilar , P. Noriega , M. Esteva , and J. L. Arcos . 2004 . Engineering multi-agent systems as electronic institutions . UPGRADE The European Journal for the Informatics Professional V ( 4 ): 33 – 39 .
- Sierra , C. , J. Thangarajah , L. Padgham , and M. Winikoff . 2007 . Designing institutional multi-agent systems . LNCS 4405 : 84 – 103 .