Advertisement

Formal Techniques for Distributed Objects, Components, and Systems

39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

  • Jorge A. Pérez
  • Nobuko Yoshida
Conference proceedings FORTE 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Full Papers

    1. Front Matter
      Pages 1-1
    2. Karine Altisen, Pierre Corbineau, Stéphane Devismes
      Pages 21-38
    3. Étienne André, Didier Lime, Mathias Ramparison
      Pages 39-56
    4. Ran Bao, Christian Attiogbe, Benoît Delahaye, Paulin Fournier, Didier Lime
      Pages 57-74
    5. Chandrika Bhardwaj, Sanjiva Prasad
      Pages 75-92
    6. Cristian Ene, Laurent Mounier, Marie-Laure Potet
      Pages 93-110
    7. Alexander Graf-Brill, Holger Hermanns
      Pages 111-128
    8. Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
      Pages 129-147
    9. Ivan Lanese, Adrián Palacios, Germán Vidal
      Pages 167-184
    10. Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
      Pages 185-203
    11. The Anh Pham, Thierry Jéron, Martin Quinson
      Pages 224-241
    12. Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
      Pages 261-277
  3. Short and “Journal First” Papers

    1. Front Matter
      Pages 279-279
    2. Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
      Pages 289-292
    3. Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
      Pages 293-297
  4. Back Matter
    Pages 299-299

About these proceedings

Introduction

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.

The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Keywords

artificial intelligence distributed computer systems distributed systems embedded systems formal logic formal methods model checking programming languages semantics software engineering software evaluation specifications verification

Editors and affiliations

  1. 1.University of GroningenGroningenThe Netherlands
  2. 2.Imperial College LondonLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-21759-4
  • Copyright Information IFIP International Federation for Information Processing 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-21758-7
  • Online ISBN 978-3-030-21759-4
  • 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