Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras

Get full text

revTPL: The Reversible Temporal Process Language

Get full text

Playing Safe, Ten Years Later

Get full text

Linear Programs with Conjunctive Database Queries

Get full text

Deciding Equations in the Time Warp Algebra

Get full text

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language

Get full text

Node Replication: Theory And Practice

Get full text

Compositional Confluence Criteria

Get full text

Foundations of probability-raising causality in Markov decision processes

Get full text

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Get full text

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

Get full text

Depth lower bounds in Stabbing Planes for combinatorial principles

Get full text

Robustness against Read Committed for Transaction Templates with Functional Constraints

Get full text

Efficient Evaluation of Arbitrary Relational Calculus Queries

Get full text

Decision Questions for Probabilistic Automata on Small Alphabets

Get full text

Existential Definability over the Subword Ordering

Get full text

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets

Get full text

Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications

Get full text

Synchronizability of Communicating Finite State Machines is not Decidable

Get full text

Relational Models for the Lambek Calculus with Intersection and Constants

Get full text