M. Adameit, K. Peters, and U. , Nestmann Learning-Based Compositional Parameter Synthesis for Event-Recording, p.17

É. André and . Shang-wei, Lin Modularising Opacity Verification for Hybrid Transactional Memory, p.33

A. Armstrong, B. Dongol, and .. , and Simon Doherty On Futures for Streaming Data in ABS (Short Paper), p.67

L. Cruz-filipe, F. Montesi, and .. , 108 John Derrick and Graeme Smith Applying a Dependency Mechanism for Voting Protocol Models Using Event, 124 J. Paul Gibson, Souad Kherroubi, and Dominique Méry Weak Simulation Quasimetric in a Gossip Scenario. . . . . . . . . . . . . . . . . . . 139

R. About, D. Secrets, and .. , 156 Nicolás Bordenabe, Morgan, and Tahiry Rabehaja Classical Higher-Order Processes (Short Paper)

V. Preoteasa, I. Dragomir, and .. , and Stavros Tripakis Creating Büchi Automata for Multi-valued Model Checking, p.210

J. J. Stefan, . Vijzelaar, and J. Wan, Fokkink Privacy Assessment Using Static Taint Analysis (Tool Paper), p.225

C. Marcel-von-maltitz, G. Diekmann, and E. Carle, Temporal Logic for Weakly Consistent Systems, p.236