Table of Contents
|
Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva |
Front Matter |
Session Types for Link Failures
Manuel Adameit, Kirstin Peters, Uwe Nestmann |
1-16 |
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata
Etienne André, Shang-Wei Lin |
17-32 |
Modularising Opacity Verification for Hybrid Transactional Memory
Alasdair Armstrong, Brijesh Dongol |
33-49 |
Proving Opacity via Linearizability: A Sound and Complete Method
Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
50-66 |
On Futures for Streaming Data in ABS
Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank Boer |
67-73 |
Session-Based Concurrency, Reactively
Mauricio Cano, Jaime Arias, Jorge A. Pérez |
74-91 |
Procedural Choreographic Programming
Luís Cruz-Filipe, Fabrizio Montesi |
92-107 |
An Observational Approach to Defining Linearizability on Weak Memory Models
John Derrick, Graeme Smith |
108-123 |
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
J. Gibson, Souad Kherroubi, Dominique Méry |
124-138 |
Weak Simulation Quasimetric in a Gossip Scenario
Ruggero Lanotte, Massimo Merro, Simone Tini |
139-155 |
Reasoning About Distributed Secrets
Nicolás Bordenabe, Annabelle Mciver, Carroll Morgan, Tahiry Rabehaja |
156-170 |
Classical Higher-Order Processes
Fabrizio Montesi |
171-178 |
Weak Nominal Modal Logic
Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson |
179-193 |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
194-209 |
Creating Büchi Automata for Multi-valued Model Checking
Stefan Vijzelaar, Wan Fokkink |
210-224 |
Privacy Assessment Using Static Taint Analysis (Tool Paper)
Marcel Maltitz, Cornelius Diekmann, Georg Carle |
225-235 |
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter |
236-242 |
