Nestmann Learning-Based Compositional Parameter Synthesis for Event-Recording, p.17 ,
Lin Modularising Opacity Verification for Hybrid Transactional Memory, p.33 ,
and Simon Doherty On Futures for Streaming Data in ABS (Short Paper), p.67 ,
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 ,
156 Nicolás Bordenabe, Morgan, and Tahiry Rabehaja Classical Higher-Order Processes (Short Paper) ,
and Stavros Tripakis Creating Büchi Automata for Multi-valued Model Checking, p.210 ,
Fokkink Privacy Assessment Using Static Taint Analysis (Tool Paper), p.225 ,
Temporal Logic for Weakly Consistent Systems, p.236 ,