Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Ahmed Bouajjani

    1. University Paris Diderot, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexandra Silva

    1. University College London, London, United Kingdom

    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 10321)

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

Included in the following conference series:

Conference proceedings info: FORTE 2017.

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 (17 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Session Types for Link Failures

    • Manuel Adameit, Kirstin Peters, Uwe Nestmann
    Pages 1-16

  3. Learning-Based Compositional Parameter Synthesis for Event-Recording Automata

    • Étienne André, Shang-Wei Lin
    Pages 17-32

  4. Modularising Opacity Verification for Hybrid Transactional Memory

    • Alasdair Armstrong, Brijesh Dongol
    Pages 33-49

  5. Proving Opacity via Linearizability: A Sound and Complete Method

    • Alasdair Armstrong, Brijesh Dongol, Simon Doherty
    Pages 50-66

  6. On Futures for Streaming Data in ABS

    • Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
    Pages 67-73

  7. Session-Based Concurrency, Reactively

    • Mauricio Cano, Jaime Arias, Jorge A. Pérez
    Pages 74-91

  8. Procedural Choreographic Programming

    • Luís Cruz-Filipe, Fabrizio Montesi
    Pages 92-107

  9. An Observational Approach to Defining Linearizability on Weak Memory Models

    • John Derrick, Graeme Smith
    Pages 108-123

  10. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B

    • J. Paul Gibson, Souad Kherroubi, Dominique Méry
    Pages 124-138

  11. Weak Simulation Quasimetric in a Gossip Scenario

    • Ruggero Lanotte, Massimo Merro, Simone Tini
    Pages 139-155

  12. Reasoning About Distributed Secrets

    • Nicolás Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry Rabehaja
    Pages 156-170

  13. Classical Higher-Order Processes

    • Fabrizio Montesi
    Pages 171-178

  14. Weak Nominal Modal Logic

    • Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson
    Pages 179-193

  15. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

    • Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
    Pages 194-209

  16. Creating Büchi Automata for Multi-valued Model Checking

    • Stefan J. J. Vijzelaar, Wan J. Fokkink
    Pages 210-224

  17. Privacy Assessment Using Static Taint Analysis (Tool Paper)

    • Marcel von Maltitz, Cornelius Diekmann, Georg Carle
    Pages 225-235

  18. EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)

    • Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
    Pages 236-242

  19. Back Matter

    Pages 243-243
    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 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.

The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Editors and Affiliations

  • University Paris Diderot, Paris, France

    Ahmed Bouajjani

  • University College London, London, United Kingdom

    Alexandra Silva

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation