Semipullbacks of labelled Markov processes

Get full text

Coalgebraic Semantics for Probabilistic Logic Programming

Get full text

Superposition for Lambda-Free Higher-Order Logic

Get full text

Reconfiguration and Message Losses in Parameterized Broadcast Networks

Get full text

Synthesis of Data Word Transducers

Get full text

Stubborn Set Reduction for Two-Player Reachability Games

Get full text

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Get full text

Complete Call-by-Value Calculi of Control Operators II: Strong Termination

Get full text

Constructive Domains with Classical Witnesses

Get full text

Datatype defining rewrite systems for naturals and integers

Get full text

A Formal Proof of the Irrationality of $zeta(3)$

Get full text

Output-sensitive Information flow analysis

Get full text

The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable

Get full text

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras

Get full text

Axiomatization of betweenness in order-theoretic trees

Get full text

Robustness Against Transactional Causal Consistency

Get full text

Determinacy in Discrete-Bidding Infinite-Duration Games

Get full text

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Get full text

Correct and Efficient Antichain Algorithms for Refinement Checking

Get full text

Solvability = Typability + Inhabitation

Get full text