Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Formal Techniques for Distributed Objects, Components, and Systems

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Susanne Graf

    1. Université Grenoble Alpes, Grenoble, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mahesh Viswanathan

    1. University of Illinois at Urbana-Champaign, Urbana, USA

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

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

Included in the following conference series:

Conference proceedings info: FORTE 2015.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as 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

About this book

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Similar content being viewed by others

Keywords

Table of contents (15 papers)

  1. Front Matter

    Pages 1-11
    Download chapter PDF

  2. Ensuring Properties of Distributed Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Types for Deadlock-Free Higher-Order Programs

      • Luca Padovani, Luca Novara
      Pages 3-18

    3. On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency

      • Alex Horn, Daniel Kroening
      Pages 19-34

    4. A Strategy for Automatic Verification of Stabilization of Distributed Algorithms

      • Ritwika Ghosh, Sayan Mitra
      Pages 35-49

    5. Faster Linearizability Checking via P-Compositionality

      • Alex Horn, Daniel Kroening
      Pages 50-65

    6. Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler

      • Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
      Pages 66-80

  3. Formal Models of Concurrent and Distributed Systems

    1. Front Matter

      Pages 81-81
      Download chapter PDF

    2. Dynamic Causality in Event Structures

      • Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
      Pages 83-97

    3. Loop Freedom in AODVv2

      • Kedar S. Namjoshi, Richard J. Trefler
      Pages 98-112

    4. Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

      • Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
      Pages 113-128

  4. Real Time Systems

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Timely Dataflow: A Model

      • Martín Abadi, Michael Isard
      Pages 131-145

    3. Difference Bound Constraint Abstraction for Timed Automata Reachability Checking

      • Weifeng Wang, Li Jiao
      Pages 146-160

    4. Compliance and Subtyping in Timed Session Types

      • Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
      Pages 161-177

  5. Security

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. Type Checking Privacy Policies in the π-calculus

      • Dimitrios Kouzapas, Anna Philippou
      Pages 181-195

    3. Extending Testing Automata to All LTL

      • Ala Eddine Ben Salem
      Pages 196-210

  6. Efficient Verification Techniques

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Simple Isolation for an Actor Abstract Machine

      • Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani
      Pages 213-227
Back to top

Other volumes

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

Editors and Affiliations

  • Université Grenoble Alpes, Grenoble, France

    Susanne Graf

  • University of Illinois at Urbana-Champaign, Urbana, USA

    Mahesh Viswanathan

Bibliographic Information

  • Book Title: Formal Techniques for Distributed Objects, Components, and Systems

  • Book Subtitle: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

  • Editors: Susanne Graf, Mahesh Viswanathan

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-19195-9

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2015

  • Softcover ISBN: 978-3-319-19194-2Published: 13 May 2015

  • eBook ISBN: 978-3-319-19195-9Published: 05 May 2015

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 245

  • Number of Illustrations: 47 b/w illustrations

  • Topics: Logics and Meanings of Programs, Software Engineering, Computation by Abstract Devices, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation