Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques for Distributed Objects, Components, and Systems

38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Christel Baier

    1. Technische Universität Dresden, Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luís Caires

    1. Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FORTE 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. A Distributed Coordination Infrastructure for Attribute-Based Interaction

    • Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
    Pages 1-20

  3. Applied Choreographies

    • Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
    Pages 21-40

  4. Monotonic Prefix Consistency in Distributed Systems

    • Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
    Pages 41-57

  5. A Modest Security Analysis of Cyber-Physical Systems: A Case Study

    • Ruggero Lanotte, Massimo Merro, Andrei Munteanu
    Pages 58-78

  6. Relating Process Languages for Security and Communication Correctness (Extended Abstract)

    • Daniele Nantes, Jorge A. Pérez
    Pages 79-100

  7. A Calculus for Modeling Floating Authorizations

    • Jovanka Pantović, Ivan Prokić, Hugo Torres Vieira
    Pages 101-120

  8. Parameter Synthesis Algorithms for Parametric Interval Markov Chains

    • Laure Petrucci, Jaco van de Pol
    Pages 121-140

  9. Information Flow Tracking for Side-Effectful Libraries

    • Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld
    Pages 141-160

  10. On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency

    • Kim Völlinger, Samira Akili
    Pages 161-180

  11. Preserving Contract Satisfiability Under Non-monotonic Composition

    • Jonas Westman, Mattias Nyberg
    Pages 181-195

  12. Correction to: Applied Choreographies

    • Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
    Pages E1-E1

  13. Back Matter

    Pages 197-197
    Download chapter PDF
Back to top

Other volumes

  1. Formal Techniques for Distributed Objects, Components, and Systems

Keywords

About this book

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.

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

Editors and Affiliations

  • Technische Universität Dresden, Dresden, Germany

    Christel Baier

  • Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    Luís Caires

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation