Concurrency theory

InhaltsverzeichnisInvited Lectures.Mapping the Security Landscape: A Role for Language Techniques.The Saga of the Axiomatization of Parallel Composition.Rule-Based Modelling of Cellular Signalling.Contributed Papers.Making Random Choices Invisible to the Scheduler.Strategy Logic.Solving Games Via Three-Valued Abstraction Refinement.Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.On Modal Refinement and Consistency.Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.A Nice Labelling for Tree-Like Event Structures of Degree 3.Causal Message Sequence Charts.Checking Coverage for Infinite Collections of Timed Scenarios.Is Observational Congruence Axiomatisable in Equational Horn Logic?.The Must Preorder Revisited.Topology-Dependent Abstractions of Broadcast Networks.On the Expressive Power of Global and Local Priority in Process Calculi.A Marriage of Rely/Guarantee and Separation Logic.Fair Cooperative Multithreading.Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.Compositional Event Structure Semantics for the Internal ?-Calculus.Interpreting a Finitary Pi-calculus in Differential Interaction Nets.Mobility Control Via Passports.Coalgebraic Models for Reactive Systems.Reactive Systems over Directed Bigraphs.Asynchronous Games: Innocence Without Alternation.Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.Timed Concurrent Game Structures.PushdownModule Checking with Imperfect Information.Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.Temporal Antecedent Failure: Refining Vacuity.