Formal Techniques for Distributed Objects, Components, and Systems

✍ Scribed by Christel Baier, Luís Caires

• Publisher: Springer International Publishing
• Year: 2018
• Tongue: English
• Leaves: 206
• Series: Lecture Notes in Computer Science 10854
• Edition: 1st ed.
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter ....Pages I-XI
A Distributed Coordination Infrastructure for Attribute-Based Interaction (Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti)....Pages 1-20
Applied Choreographies (Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli)....Pages 21-40
Monotonic Prefix Consistency in Distributed Systems (Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi)....Pages 41-57
A Modest Security Analysis of Cyber-Physical Systems: A Case Study (Ruggero Lanotte, Massimo Merro, Andrei Munteanu)....Pages 58-78
Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Daniele Nantes, Jorge A. Pérez)....Pages 79-100
A Calculus for Modeling Floating Authorizations (Jovanka Pantović, Ivan Prokić, Hugo Torres Vieira)....Pages 101-120
Parameter Synthesis Algorithms for Parametric Interval Markov Chains (Laure Petrucci, Jaco van de Pol)....Pages 121-140
Information Flow Tracking for Side-Effectful Libraries (Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld)....Pages 141-160
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Kim Völlinger, Samira Akili)....Pages 161-180
Preserving Contract Satisfiability Under Non-monotonic Composition (Jonas Westman, Mattias Nyberg)....Pages 181-195
Back Matter ....Pages 197-197

✦ Subjects

Computer Science; Software Engineering; Operating Systems; Programming Languages, Compilers, Interpreters; Systems and Data Security; Computer Communication Networks; Computer System Implementation