One-Clock Priced Timed Games with Negative Weights

Get full text

Differentials and distances in probabilistic coherence spaces

Get full text

Modules over monads and operational semantics (expanded version)

Get full text

Tameness and the power of programs over monoids in DA

Get full text

Minimization and Canonization of GFG Transition-Based Automata

Get full text

Point-free Construction of Real Exponentiation

Get full text

Comparator automata in quantitative verification

Get full text

Timed Automata Robustness Analysis via Model Checking

Get full text

A First-Order Complete Temporal Logic for Structured Context-Free Languages

Get full text

Addressing Machines as models of lambda-calculus

Get full text

Computability of Data-Word Transductions over Different Data Domains

Get full text

Modularising Verification Of Durable Opacity

Get full text

Fusible numbers and Peano Arithmetic

Get full text

Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?

Get full text

A Coalgebraic Approach to Dualities for Neighborhood Frames

Get full text

Uniform Envelopes

Get full text

Modal meet-implication logic

Get full text

Synthesis of Computable Regular Functions of Infinite Words

Get full text

Asynchronous wreath product and cascade decompositions for concurrent behaviours

Get full text

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination

Get full text