Reversing Place Transition Nets

Get full text

Verification of Flat FIFO Systems

Get full text

Of Cores: A Partial-Exploration Framework for Markov Decision Processes

Get full text

On the Termination Problem for Probabilistic Higher-Order Recursive Programs

Get full text

Field-based Coordination with the Share Operator

Get full text

A symmetric protocol to establish service level agreements

Get full text

On Resolving Non-determinism in Choreographies

Get full text

A unifying framework for continuity and complexity in higher types

Get full text

Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership

Get full text

Gems of Corrado Böhm

Get full text

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

Get full text

Compiling With Classical Connectives

Get full text

The Sierpinski Object in the Scott Realizability Topos

Get full text

On the Expressive Power of Higher-Order Pushdown Systems

Get full text

Dual-Context Calculi for Modal Logic

Get full text

A limitation on the KPT interpolation

Get full text

Constructive Canonicity of Inductive Inequalities

Get full text

Fixed point combinators as fixed points of higher-order fixed point generators

Get full text

Revisiting Call-by-value Böhm trees in light of their Taylor expansion

Get full text

Interpolating Between Choices for the Approximate Intermediate Value Theorem

Get full text