This book is Open Access under a CC BY licence.

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games

Change Actions: Models of Generalised Differentiation

Tight Worst-Case Bounds for Polynomial Loop Programs

A Complete Normal-Form Bisimilarity for State

The Impatient May Use Limited Optimism to Minimize Regret

Rewriting Abstract Structures: Materialization Explained Categorically

Two-Way Parikh Automata with a Visibly Pushdown Stack

Trees in Partial Higher Dimensional Automata

The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains

Continuous Reachability for Unordered Data Petri Nets is in PTime

Optimal Satisfiability Checking for Arithmetic -Calculi

Constructing Inductive-Inductive Types in Cubical Type Theory

Causal Inference by String Diagram Surgery

Higher-Order Distributions for Differential Linear Logic

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces

A Sound and Complete Logic for Algebraic Effects

Equational Axiomatization of Algebras with Structure

Towards a Structural Proof Theory of Probabilistic -Calculi

Partial and Conditional Expectations in Markov Decision Processes with Integer Weights

Equational Theories and Monads from Polynomial Cayley Representations

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words

Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time

description_of_book