Foundations of Software Science and Computation Structures

Equivalences of Pushdown Systems Are Hard.- Active Diagnosis for Probabilistic Systems.- Analysis of Probabilistic Basic Parallel Processes.- Limit Synchronization in Markov Decision Processes.- Maximal Cost-Bounded Reachability Probability on Continuous-Time.- Markov Decision Processes.- Type Reconstruction for the Linear pi-Calculus with Composite and Equi-Recursive Types.- A Semantical and Operational Account of Call-by-Value Solvability.- Network-Formation Games with Regular Objectives.- Playing with Probabilities in Reconfigurable Broadcast Networks.- Unsafe Order-2 Tree Languages Are Context-Sensitive.- Game Semantics for Nominal Exceptions.- Complexity of Model-Checking Call-by-Value Programs.- Resource Reachability Games on Pushdown Graphs.- Perfect-Information Stochastic Mean-Payoff Parity Games.- Latticed-LTL Synthesis in the Presence of Noisy Inputs.- The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies.- On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.- On Asymmetric Unification and the Combination Problem in Disjoint Theories.- Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.- Generalized Synchronization Trees.- Bisimulations for Communicating Transactions.- Upper-Expectation Bisimilarity and Lukasiewicz mi-Calculus.- Interacting Bialgebras Are Frobenius.- Generalized Eilenberg Theorem I: Local Varieties of Languages.- Combining Bialgebraic Semantics and Equations.- Models of a Non-associative Composition.- Foundations for Decision Problems in Separation Logic with General Inductive Predicates.- A Coalgebraic Approach to Linear-Time Logics.- A Relatively Complete Calculus for Structured Heterogeneous Specifications.