Coordination Models and Languages

15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

  • Rocco De Nicola
  • Christine Julien
Conference proceedings COORDINATION 2013

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

Table of contents

  1. Front Matter
  2. Luca Bortolussi, Diego Latella, Mieke Massink
    Pages 1-15
  3. Andrea Cerone, Matthew Hennessy, Massimo Merro
    Pages 16-30
  4. Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
    Pages 31-44
  5. Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
    Pages 45-59
  6. Thomas Given-Wilson, Daniele Gorla
    Pages 60-74
  7. Soguy Mak Karé Gueye, Noël de Palma, Eric Rutten
    Pages 75-89
  8. Ludovic Henrio, Fabrice Huet, Zsolt István
    Pages 90-104
  9. Junwhan Kim, Roberto Palmieri, Binoy Ravindran
    Pages 105-120
  10. Eva Kühn, Stefan Craß, Gerson Joskowicz, Alexander Marek, Thomas Scheller
    Pages 121-135
  11. Ivan Lanese, Gianluigi Zavattaro
    Pages 136-150
  12. Stefano Mariani, Andrea Omicini
    Pages 151-165
  13. Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri
    Pages 166-180
  14. Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori
    Pages 181-195
  15. Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter
    Pages 196-210
  16. José Proença, Dave Clarke
    Pages 211-225
  17. Guido Salvaneschi, Joscha Drechsler, Mira Mezini
    Pages 226-235
  18. Hugo Torres Vieira, Vasco Thudichum Vasconcelos
    Pages 236-250
  19. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).
The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.


decidability runtime systems socio-technical systems transactional memory verification

Editors and affiliations

  • Rocco De Nicola
    • 1
  • Christine Julien
    • 2
  1. 1.IMT - Institute for Advanced Studies LuccaLuccaItaly
  2. 2.The University of Texas at AustinAustinUSA

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38492-9
  • Online ISBN 978-3-642-38493-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment