Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/