Abstract is missing.
- Effect Systems Revisited - Control-Flow Algebra and SemanticsAlan Mycroft, Dominic A. Orchard, Tomas Petricek. 1-32 [doi]
- Last Mile's ResourcesChiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. 33-53 [doi]
- Formal Modelling and Analysis of Socio-Technical SystemsChristian W. Probst, Florian Kammüller, René Rydhof Hansen. 54-73 [doi]
- Static Timing Analysis - What is Special?Jan Reineke, Reinhard Wilhelm. 74-87 [doi]
- An Automata-Based Approach to Trace Partitioned Abstract InterpretationMads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen. 88-110 [doi]
- Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear RegressionAlessandra Di Pierro, Herbert Wiklicky. 111-139 [doi]
- Abstract Interpretation of PEPA ModelsStephen Gilmore, Jane Hillston, Natalia Zon. 140-158 [doi]
- Static Analysis of Parity Games: Alternating Reachability Under ParityMichael Huth, Jim Huan-Pu Kuo, Nir Piterman. 159-177 [doi]
- Game Theory and Industrial Control SystemsChris Hankin. 178-190 [doi]
- Playing with Abstraction and RepresentationBernhard Steffen, Malte Isberner, Marc Jasper. 191-213 [doi]
- Schedulers are no ProphetsArnd Hartmanns, Holger Hermanns, Jan Krcál. 214-235 [doi]
- Replicating Data for Better Performances in X10Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente. 236-251 [doi]
- Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated TopologicallyDavid A. Schmidt. 252-271 [doi]
- Enhancing Top-Down Solving with Widening and NarrowingKalmer Apinis, Helmut Seidl, Vesal Vojdani. 272-288 [doi]
- Modal Intersection Types, Two-Level Languages, and Staged SynthesisFritz Henglein, Jakob Rehof. 289-312 [doi]
- Rule Formats for Bounded Nondeterminism in Structural Operational SemanticsLuca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir. 313-343 [doi]