Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

Get full text

Coalgebras for Bisimulation of Weighted Automata over Semirings

Get full text

Deconfined Global Types for Asynchronous Sessions

Get full text

Stream processors and comodels

Get full text

Multiparty testing preorders

Get full text

Converse extensionality and apartness

Get full text

A theory of Automated Market Makers in DeFi

Get full text

Linear equations for unordered data vectors in $[D]^kto{}Z^d$

Get full text

Coalgebraic Geometric Logic: Basic Theory

Get full text

Algebraic coherent confluence and higher globular Kleene algebras

Get full text

Convexity via Weak Distributive Laws

Get full text

Geometric Model Checking of Continuous Space

Get full text

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

Get full text

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

Get full text

Uniform Reliability of Self-Join-Free Conjunctive Queries

Get full text

Building Specifications in the Event-B Institution

Get full text

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

Get full text

An Analytic Propositional Proof System on Graphs

Get full text

A categorical framework for congruence of applicative bisimilarity in higher-order languages

Get full text

On sets of terms having a given intersection type

Get full text