Kleene Theorem for Higher-Dimensional Automata

Get full text

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

Get full text

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

Get full text

Fine-grained Meta-Theorems for Vertex Integrity

Get full text

A Truly Concurrent Semantics for Reversible CCS

Get full text

A Calculus for Scoped Effects & Handlers

Get full text

Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners

Get full text

Reasonable Space for the ${lambda}$-Calculus, Logarithmically

Get full text

On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Get full text

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

Get full text

On the relative asymptotic expressivity of inference frameworks

Get full text

Termination of Graph Transformation Systems Using Weighted Subgraph Counting

Get full text

Stochastic Processes with Expected Stopping Time

Get full text

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages

Get full text

String diagrams for Strictification and Coherence

Get full text

Sum and Tensor of Quantitative Effects

Get full text

Categorical composable cryptography: extended version

Get full text

A cone-theoretic barycenter existence theorem

Get full text

Fair Asynchronous Session Subtyping

Get full text

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

Get full text