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

Get full text

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

Get full text

Formalising the Double-Pushout Approach to Graph Transformation

Get full text

History-deterministic Timed Automata

Get full text

Completeness Theorems for Kleene algebra with tests and top

Get full text

Higher-Order Asynchronous Effects

Get full text

Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

Get full text

Disentangling Parallelism and Interference in Game Semantics

Get full text

Sharing proofs with predicative theories through universe-polymorphic elaboration

Get full text

QBF Merge Resolution is powerful but unnatural

Get full text

Simply typed convertibility is TOWER-complete even for safe lambda-terms

Get full text

Preservation theorems for Tarski's relation algebra

Get full text

Half-Positional Objectives Recognized by Deterministic Büchi Automata

Get full text

Zeta Functions and the (Linear) Logic of Markov Processes

Get full text

Controller Synthesis for Timeline-based Games

Get full text

On two-variable guarded fragment logic with expressive local Presburger constraints

Get full text

Deterministic pushdown automata can compress some normal sequences

Get full text

Complexity results for modal logic with recursion via translations and tableaux

Get full text

Decidability for Sturmian words

Get full text

Isolated Suborders and their Application to Counting Closure Operators

Get full text