Advertisement

Coordination Models and Languages

17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

  • Tom Holvoet
  • Mirko Viroli
Conference proceedings COORDINATION 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9037)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9037)

Table of contents

  1. Front Matter
    Pages 1-12
  2. Tuple-Based Coordination

    1. Front Matter
      Pages 1-1
    2. Marina Andrić, Rocco De Nicola, Alberto Lluch Lafuente
      Pages 3-18
    3. Francesco Luca De Angelis, Giovanna Di Marzo Serugendo
      Pages 35-48
  3. Coordinating Ensembles

    1. Front Matter
      Pages 49-49
    2. Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima
      Pages 51-66
    3. Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
      Pages 67-82
    4. Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
      Pages 83-98
  4. Constraints

    1. Front Matter
      Pages 99-99
    2. Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari
      Pages 101-116
    3. Sung-Shik T. Q. Jongmans, Farhad Arbab
      Pages 117-132
    4. Fabio Gadducci, Francesco Santini, Luis F. Pino, Frank D. Valencia
      Pages 133-149
  5. Agent-Oriented Techniques

    1. Front Matter
      Pages 151-151
    2. Francisco Cruz-Mencia, Jesus Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan A. Rodriguez-Aguilar
      Pages 153-168
    3. Andrea Omicini, Giancarlo Fortino, Stefano Mariani
      Pages 186-193
  6. Shared Spaces

    1. Front Matter
      Pages 195-195
    2. Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson
      Pages 197-212
    3. Marino Miculan, Marco Peressotti, Andrea Toneguzzo
      Pages 213-229
    4. Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga
      Pages 230-245
  7. Back Matter
    Pages 247-247

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on tuple-based coordination, coordinating ensembles, constraints, agent-oriented techniques and shared spaces.

Keywords

Abstraction, modeling and modularity Algorithmic game theory and mechanism design Complex systems Concurrency models of computation Context specific languages Distributed algorithms Distributed architectures Distributed artificial intelligence Distributed programming languages Formal language definitions Formal methods Formal software verification Logic and verification by model checking Massively parallel systems Multi-agent systems Process management Self-organizing autonomic computing Software infrastructure Software system models Ubiquitous and mobile computing

Editors and affiliations

  • Tom Holvoet
    • 1
  • Mirko Viroli
    • 2
  1. 1.University of LeuvenHeverleeBelgium
  2. 2.Alma Mater Studiorum--Università di BolognaCesenaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-19282-6
  • Copyright Information IFIP International Federation for Information Processing 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-19281-9
  • Online ISBN 978-3-319-19282-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering