Proceedings of International Conferences

1. F.S. de Boer.
   A proof rule for process-creation.
   In M. Wirsing (editor), Proceedings of the third IFIP WG 2.2. Working Conference (Formal Description of Programming Concepts 3), ISBN 0 444 70253 9, 1987.

2. F.S. de Boer.
   Compositionality in temporal logic.
   Proceedings of the Conference on Parallel Architectures and Languages (PARLE), LNCS, Vol. 366, 1989.

3. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten.
   Control flow versus logic: a denotational and a declarative model for Guarded Horn Clauses.
   In Proceedings of the fourteenth International Symposium of the Mathematical Foundations of Computer Science (MFCS), LNCS, Vol. 379, 1989.

4. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten.
   Semantic models for a version of PARLOG.
   In G. Levi and M. Martelli (editors), Proceedings of the Sixth International Conference on Logic Programming, Series in Logic Programming, pages 621-636, ISBN 0-262-62065-0, The MIT Press, 1989.

5. F.S. de Boer and P. America.
   A proof system for process creation.
   In M. Broy and C.B. Jones (editors), Proceedings of the IFIP TC2 Working Conference on Programming Concepts and Methods, ISBN 0 444 88545 5, 1990.

6. F.S. de Boer, J.N Kok, C. Palamidessi, and J.J.M.M. Rutten.
   From failure to success: comparing a denotational and a declarative semantics for Horn Clause Logic.
   In M.Z. Kwiatkowska, M.W. Shields, and R.M. Thomas (editors), Proceedings of the International Workshop on Semantics for Concurrency, Workshops in Computing, pages 38-60, ISBN 0387196250, Springer Verlag, 1990.

7. F.S. de Boer.
   A proof system for the parallel object-oriented laguage POOL.
   In Proceedings of the seventeenth International Colloquium on Automata, Languages and Programming (ICALP), LNCS, Vol. 443, 1990.

8. F.S. de Boer and C. Palamidessi.
   On the asynchronous nature of communication in concurrent logic languages: a fully abstract model based on sequences.
   In J.C.M. Baeten and J.W. Klop (editors), Proceedings of the International Conference on Concurrency Theory (CONCUR), LNCS, Vol. 458, pages 99-114, 1990.

9. F.S. de Boer and C. Palamidessi.
   Concurrent logic languages: asynchronism and language comparison.
   In Proceedings of the North American Conference on Logic Programming, Series in Logic Programming, ISBN 0-262-54058-4, The MIT Press, 1990. Invited paper at the Workshop on Semantics of Concurrent Logic Languages, Eilat, Israel, 1990.

10. F.S. de Boer and C. Palamidessi.
    A fully abstract model for concurrent constraint programming.
    In Proceedings of the Fourth International Joint Conference on the Theory and Practice of Software Development (TAPSOFT), LNCS, Vol. 493, pages 296-319, 1991.

11. F.S. de Boer.
    A proof system for the language POOL.
    In J.W. de Bakker, W.P. de Roever, and G. Rozenberg (editors), Proceedings of the REX School/Workshop Foundations on Object-Oriented Languages, LNCS, Vol. 489, 1991.

12. F.S. de Boer.
    A compositional proof system for dynamic process creation.
    In Proceedings of the sixth annual IEEE symposium on Logics in Computer Science (LICS), IEEE Computer Society Press, 1991.

13. F.S. de Boer and C. Palamidessi.
    Embedding as a tool for language comparison: on the CSP hierarchy.
    In Proceedings of the International Conference on Concurrency Theory (CONCUR), LNCS, Vol. 527, pages 127-141, 1991.

14. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten.
    The failure of failures: towards a paradigm for asynchronous communication.
    In Proceedings of the International Conference on Concurrency Theory (CONCUR), LNCS, Vol. 527, pages 111-126, 1991.

15. F.S. de Boer and J.J.M. Hooman.
    The real-time behaviour of asynchronously communicating processes.
    In Proceedings of the School and Symposium Formal Techniques in Real-time and Fault-Tolerant Systems, LNCS, Vol. 571, 1992.

16. F.S. de Boer, J.W. Klop and C. Palamidessi.
    Asynchronous communication in process algebra.
    In Proceedings of the seventh annual IEEE symposium on Logics in Computer Science (LICS), pages 137-147. IEEE Computer Society Press, 1992.

17. F.S. de Boer and C. Palamidessi.
    On the semantics of concurrent constraint programming.
    Invited paper in Proceedings of the Conference of the Association for Logic Programming, UK Branch, ALPUK92, Workshops in Computing, pages 145-173, ISBN 3-540-19783-4, Springer Verlag, 1993.

18. F.S. de Boer and C. Palamidessi.
    A process algebra of concurrent constraint programming.
    In Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP), pages 463-477, ISBN 0-262-51064-2, The MIT press, 1992.

19. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten.
    On blocks: locality and asynchronous communication.
    In J.W. de Bakker, W.P. de Roever, and G. Rozenberg (editors), Proceedings of the REX School/Workshop Semantics: Foundations and Applications, LNCS, Vol. 666, pages 73-90, 1993.

20. F.S de Boer, J. Coenen, and R. Gerth.
    Exception handling in process algebra.
    In NAPAW 92: Proceedings of the First North American Process Algebra Workshop, S. Purushothaman and A. Zwarico (editors), Workshops in Computing, ISBN 0387198229, Springer Verlag, 1993.

21. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten.
    Non-monotonic Concurrent Constraint Programming.
    In Proceedings of the International Logic Programming Symposium, ISBN 0-262-63152-0, The MIT Press, 1993.

22. F.S. de Boer, A. Di Pierro, and C. Palamidessi.
    An algebraic perspective of constraint logic programming.
    In Proceedings of the International Conference on Logic and Algebra dedicated to Roberto Magari, 1994.

23. F.S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi.
    Proving concurrent constraint programs correct.
    In ACM SIGPLAN-SIGACT Proceedings of Principles of Programming Languages (POPL), ISBN 0-89791-636-0, ACM Press, 1994.

24. F.S. de Boer.
    Compositionality and completeness of the inductive assertion method for concurrent systems.
    In E.-R. Olderog (editor) Proceedings of IFIP Working Conference on Programming Concepts, Methods and Calculi, ISBN 0 444 82020 5, 1994.

25. F.S. de Boer and M. van Hulst.
    Partial correctness of asynchronously communicating processes.
    In Proceedings of the International Symposium of the Mathematical Foundations of Computer Science (MFCS), LNCS, Vol.841, 1994.

26. F.S. de Boer and M. van Hulst.
    A compositional proof system for asynchronously communicating processes.
    In Proceedings of Mathematics of Program Construction (MPC), LNCS, Vol. 947, 1995.

27. F.S. de Boer and M. Gabrielli.
    Modelling real-time in concurent constraint programming.
    In Proceedings of the International Logic Programming Symposium, ISBN 0-262-62099-5, The MIT press, 1995.

28. F.S. de Boer and M. van Hulst.
    Local nondeterminism in asynchronously communicating processes.
    In Proceedings of Formal Methods Europe (FME): Industrial Benefit and Advances in Formal Methods, LNCS, Vol. 1051, 1996.

29. F.S. de Boer, W.P. de Roever, H. Tej and M. van Hulst.
    Compositionality in real-time shared variable concurrency.
    In Proceedings of the School and Symposium Formal Techniques in Real-time and Fault-Tolerant Systems, LNCS, Vol, 1135, 1996.

30. F.S. de Boer, M. Gabbrielli, and C. Palamidessi.
    Proving correctness of constraint logic programs with dynamic scheduling.
    In Proceedings of the third International Static Analysis Symposium (SAS), LNCS, Vol. 1145, 1996.

31. F.S. de Boer and M. Gabbrielli.
    Infinite computations in concurrent constraint programming.
    In Proceedings of the thirteenth conference on the mathematical foundations of programming semantics (MFPS XIII). Electronic Notes in Theoretical Computer Science 6 (1997), URL: http://www.elsevier.nl/locate/entcs/volume6.htm.

32. F.S de Boer, U. Hannemann and W.P. de Roever.
    A compositional proof system for shared variable concurrency.
    In Proceedings of Formal Methods Europe (FME), LNCS, Vol. 1313, 1997.

33. E. Best, F.S. de Boer and C. Palamidessi.
    Concurrent constraint programming with information removal.
    In Proceedings of the Second International Conference on Coordination Models and Languages (COORDINATION), LNCS, Vol. 1282, 1997.

34. F.S. de Boer, M. Gabbrielli, and M.C. Meo.
    Semantics and expressive power of a timed concurrent constraint language.
    In Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (CP), LNCS, Vol. 1330, 1997.

35. F.S de Boer, U. Hannemann and W.P. de Roever.
    Hoare-style compositional proof systems for reactive shared variable concurrency.
    In Proceedings of the Foundations of Software Technology and Theoretical Computer Science (FST-TCS), LNCS, Vol. 1346, 1997.

36. F.S. de Boer, N. Francez, M. van Hulst, F.A. Stomp.
    A proof theory of asynchronously communicating sequential processes.
    In D. Gries and W.P. de Roever (editors) Proceedings IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98), ISBN 0 412 83760 9, 1998.

37. R. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Information-passing and belief revision in multi-agent systems.
    In Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL), LNAI, Vol. 1555, 1998.

38. R. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Systems of communicating agents.
    In Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI), pages 293-297, John Wiley & Sons, Ltd, 1998.

39. K.V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Failure, monitoring and recovery in the agent lnaguage 3APL.
    Proceedings of the AAAI 1998 Fall Symposium on Cognitive Robotics, pages 68-75, 1998.

40. K.V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    A formal embedding of AgentSpeak(L) in 3APL.
    Advanced Topics in Artificial Intelligence, LNAI, Vol. 1502, pages 155-166, 1998.

41. K.V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Formal semantics of an abstract agent programming language.
    Intelligent Agents IV, LNAI, Vol. 1365, pages 215-229, 1998.

42. F.S. de Boer.
    Reasoning about asynchronous communication in dynamically evolving object structures. In Proceedings of the International Conference on Concurrency Theory (CONCUR), LNCS, Vol. 1466, 1998.

43. R. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Constructing translations between individual vocabularies in multi-agent systems.
    In Proceedings of the eigth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), LNAI, Vol. 1480, 1998.

44. K.V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Control structures of rule-based agent languages.
    In Intelligent Agents V, LNAI, Vol. 1555, pages 137-149, 1999.

45. F.S. de Boer.
    Reasoning about histories in object-based distributed systems.
    In P. Ciancarini, A. Fantechi, and R. Gorrieri (editors), Proceedings of TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, ISBN 0 7923 8429 6, Kluwer, 1999.

46. F.S. de Boer.
    A WP-calculus for OO.
    In Proceedings of Foundations of Software Science and Computation Structures, FOSSACS'99, LNCS, Vol. 1578, 1999.

47. R. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Open multi-agent systems: agent communication and integration.
    Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL), LNAI, Vol. 1757, 1999.

48. F.S. de Boer and W.P. de Roever.
    Compositional proof methods for concurrency: A semantic approach.
    In W.P de Roever, H. Langmaack and A. Pnueli (editors) Compositionality: The Significant Difference, LNCS, 1999.

49. F.S. de Boer, U. Hannemann, and W.-P. de Roever.
    The semantic foundation of a compositional proof method for synchronously communicating processes.
    Proceedings of the Mathematical Foundations of Computer Science (MFCS), LNCS, Vol. 1672, 1999.

50. F.S. de Boer, U. Hannemann, and W.-P. de Roever.
    Formal justification of the rely-guarantee paradigm for shared-variable concurrency: A semantic spproach.
    Proceedings of the FM'99 World Congress On Formal Methods In The Development of Computing Systems, LNCS, Vol. 1709, 1999.

51. F.S. de Boer and G. Zavattaro.
    Generic process algebras for asynchronous communication.
    In Proceedings of the 9th International Conference on Concurrency Theory (CONCUR), LNCS, Vol. 1664, 1999.

52. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J.Ch. Meyer.
    Semantics of Communicating Agents Based on Deduction and Abduction.
    In Proceedings of the IJCAI'99 Workshop on ACL, 1999.

53. F. Arbab, F.S. de Boer, and M.M. Bonsangue.
    A coordination language for mobile components.
    In Proceedings of the 2000 ACM Symposium on Applied Computing, SAC2000, 2000.

54. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J.Ch. Meyer.
    A Programming Logic for the Agent Programming Language 3APL.
    In Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems, 2000.

55. K.V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J.Ch. Meyer.
    Agent programming with declarative goals.
    In Proceedings of theSeventh International Workshop on Agent Theories, Architectures, and Languages (ATAL), LNAI, 2000.

56. R. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Generalising OO concepts for MAS.
    In Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL), LNAI, 2000.

57. F. S. de Boer, R. van Eijk, W. van der Hoek, and J.-J. Ch. Meyer.
    Failure semantics for the exchange of information in multi-agent systems.
    In Proceedings of the International Conference on Concurrency Theory (CONCUR), LNCS, 2000.

58. F.S. de Boer and E. Abraham-Mumm.
    Proof-outlines for threads in Java.
    In Proceedings of the International Conference on Concurrency Theory (CONCUR), LNCS, 2000.

59. F.S. de Boer and M. Bonsangue.
    A compositional model for confluent dynamic data-flow networks.
    In Proceedings of the International Symposium of the Mathematical Foundations of Computer Science (MFCS), LNCS, 2000.

60. F. Arbab, F.S. de Boer, and M.M. Bonsangue.
    A logical interface description language for components.
    Proceedings of the Second International Conference on Coordination Models and Languages (COORDINATION), LNCS, 2000.

61. F.S. de Boer, M. Gabbrielli, and M. C. Meo.
    A Timed Linda Language.
    Proceedings of the Second International Conference on Coordination Models and Languages (COORDINATION), LNCS, 2000.

62. F. S. de Boer, R. van Eijk, W. van der Hoek, and J.-J. Ch. Meyer.
    A modal logic for network topology.
    Proceedings of the European Workshop on Logics in AI, LNAI, Vol. 1919, 2000.

63. K.V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Semantics of communicating agents based on deduction and abduction. Issues in Agent Communication, LNAI, Vol. 1916, 2000.

64. R. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer.
    Operational Semantics for Agent Communication Languages.
    Issues in Agent Communication, LNAI, Vol. 1916, 2000.

65. F.S. de Boer, M. Gabbrielli and M.C. Meo.
    A Denotational Semantics for Timed Linda.
    Proceedings of the Third International Conference on Principles and Practice of Declarative Programming (PPDP 2001), ACM Press, 2001.
    

66. F.S. de Boer, M. Gabbrielli and M.C. Meo.
    A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
    Proceedings of The Eighth International Symposium on Temporal Representation and Reasoning (TIME-01), IEEE Computer Society Press, 2001.

67. F.S. de Boer and R. van Eijk.
    Decidable Navigation Logics for Object Structures.
    Proceedings of CSL01, LNCS, 2001.

68. W. de Vries, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer.
    A Truly Concurrent Model for Interacting Agents.
    Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents (PRIMA 2001), LNAI, Vol. 2132, 2001.

69. F.S. de Boer and C. Pierik.
    Computer-aided specification and verification of annotated object-oriented programs.
    Proceedings of Formal Methods for Open Object-based Distributed Systems (FMOODS), Kluwer, 2002.

70. E. Abraham-Mumm, F.S. de Boer, W.P. de Roever, and M. Steffen.
    Verification for Java's Reentrant Multithreading Concept.
    Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), LNCS, Vol. 2303, 2002.

71. F.S. de Boer, M. Gabbrielli and M.C. Meo.
    Proving correctness of Timed Concurrent Constraint Programs.
    Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), LNCS, 2002.
72. W. de Vries, F.S. de Boer, K. Hindriks, W. van der Hoek and J.-J.Ch Meyer.
    A programming language for coordinating group actions.
    From Theory to Practice in Multi-Agent Systems, LNAI, Vol. 2296, 2002.

73. J.V. Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue.
    Mobile Channels, Implementation Within and Outside Components.
    Proceedings of Formal Methods and Component Interaction, ENTCS 66.4, Elsevier Science, 2002.

74. F. Arbab, F.S. de Boer, M. Bonsangue, J. Scholten.
    MoCha, a middleware based on mobile channels.
    Proceedings of COMPSAC 2002. IEEE Computer Scociety Press, 2002.

75. J.V. Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue.
    A Channel-based Coordination Model for Components.
    Proceedings of 1st International Workshop on Foundations of Coordination Languages and Software Architectures, ENTCS 68.3, Elsevier Science, 2003.

76. M. Dastani, F.S. de Boer, F. Dignum, J.-J. Meyer.
    Programming agent deliberation.
    Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2003.

77. F.S. de Boer and C. Pierik.
    A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.
    Proceedings of Formal Methods for Open Object-based Distributed Systems (FMOODS), LNCS, 2003.

78. E. Abraham-Mumm, F.S. de Boer, W.P. de Roever, and M. Steffen.
    Inductive Proof Outlines for Monitors in Java.
    Proceedings of Formal Methods for Open Object-based Distributed Systems^ (FMOODS), LNCS, 2003.

79. E. Abraham-Mumm, F.S. de Boer, W.P. de Roever, and M. Steffen.
    A Tool-supported Proof System for Multithreaded Java.
    Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002), LNCS, Vol. 2852, 2003.

80. E. Abraham-Mumm, F.S. de Boer, W.P. de Roever, and M. Steffen.
    A Compositional Operational Semantics for JavaMT.
    Proceedings of the symposium on verification- theory and practice, Festschrift celebrating Zohar Manna's 64th Birthday, LNCS, Vol. 2772, 2003.

81. H. Jonkers, R van Buuren, F. Arbab, F. de Boer, M. Bonsangue, H. Bosma, H. ter Doest, L. Groenewegen, J.V. Guillen-Scholten, S. Hoppenbrouwers, M.E. Iacob, W. Janssen, M. Lankhorst, D. van Leeuwen, E. Proper, A. Stam, L. van der Torre, G. Veldhuijzen van Zanten.
    Towards a Language for Coherent Enterprise Architecture Descriptions.
    Proceedings of EDOC 2003 (Enterprise Distributed Object Computing, Brisbane Australia).

82. C. Pierik and F.S. de Boer.
    Modularity and the Rule of Adaptation.
    Proceedings of AMAST 2004, LNCS, Vol. 3116, 2004.

83. B. van Riemsdijk, J.-J. Ch. Meyer, and F.S. de Boer.
    Semantics of Plan Revision in Intelligent Agents.
    Proceedings AMAST 2004, LNCS, Vol. 3116, 2004.

84. F.S. de Boer, M.M. Bonsangue, J. Jacob, A. Stam, and L. van der Torre.
    A Logical Viewpoint on Architectures.
    Proceedings EDOC 2004, IEEE Computer Society, 2004.

85. F. Arbab, C. Baier, F.S. de Boer, J. J. M. M. Rutten.
    Models and Temporal Logics for Timed Component Connectors.
    Proceedings of SEFM 2004, IEEE Computer Society, 2004.

86. E. Abraham, M. Bonsangue, F.S. de Boer, W.P. de Roever, and M. Steffen.
    Object connectivity and full abstraction for a concurrent calculus of classes.
    Proceedings of the First International Colloquium on Theoretical Aspects of Computing, LNCS, Vol. 3407, 2004.

87. F.S. de Boer, C. Pierik, R.M. van Eijk, and J.-J.Ch. Meyer.
    Coordinating agents in OO.
    Objects, Agents, and Features: International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers, LNCS Vol. 2975.

88. M. Kyas, H. Fecher, F.S. de Boer, J. Jacob, J. Hooman, M. van der Zwaag, T. Arons and H. Kugler.
    Formalizing UML Models and OCL Constraints in PVS.
    Proceedings Semantic Foundations of Engineering Design Languages (SFEDL04), Electronic Notes in Theoretical Computer Science (ENTCS), 2004.

89. M. Kyas and F.S. de Boer.
    On Message Specification in OCL.
    Proceedings of the UML 2003 workshop on compositional verification of UML models, ENTCS, Vol. 101, 2004.

90. M. B. van Riemsdijk, F.S. de Boer, J.-J. Ch. Meyer.
    Dynamic Logic for Plan Revision in Intelligent Agents.
    Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'04), 2004. To appear in LNAI.

91. F.S. de Boer, M.M. Bonsangue, J. Jacob, A. Stam, and L. van der Torre.
    Enterprise architecture analysis with XML.
    Proceedings of HICSS 39, IEEE Computer Society Press., 2005.

92. C. Pierik, D. Clarke, and F.S. de Boer.
    Controlling Object Allocation Using Creation Guards.
    Proceedings of Formal Methods, LNCS Vol. 3582, 2005.

93. J. Guillen-Scholten, F. Arbab, F.S. de Boer, M. Bonsangue.
    MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels.
    Proceedings of ACM SAC 2005, 2005.

94. M. Sirjani, F.S. de Boer, A. Movaghar and A. Shali.
    Extended Rebeca: A Component-Based Actor Language with Synchronous.
    Proceedings Fifth International Conference on Application of Concurrency to System Design, 2005. IEEE Computer Society Press. To appear.

95. F. Arbab, C. Baier, F.S. de Boer, J.J.M.M Rutten, M. Sirjani.
    Synthesis of Reo Connector Circuits for Implementation of Component-Connector Automata Specifications.
    Proceedings of the 7th International Conference on Coordination Models and Languages, 2005. To appear in LNCS.

96. M. Dastani, F. Arbab, F.S. de Boer. Coordination and Composition in Multi-Agent Systems.
    Proceedings of the 4th Joint Conference on Autonomous Agents and Multi Agent Systems, 2005. ACM. To appear.