Signal flow graphs are combinatorial models for linear dynamical systems, playing a
foundational role in control theory and engineering. In this survey, we overview a series of …

We present an algebraic approach to separation logic. In particular, we give an algebraic
characterisation for assertions of separation logic, discuss different classes of assertions and …

This report summarises the background and recent progress in the research of its co-
authors. It is aimed at the construction of links between algebraic presentations of the …

Hybrid systems are heterogeneous systems characterised by the interaction of discrete and
continuous dynamics. We present a trajectory-based algebraic model for describing hybrid …

Five algebraic notions of termination are formalised, analysed and compared:
wellfoundedness or Noetherity, Löb's formula, absence of infinite iteration, absence of …

A notion of convolution is presented in the context of formal power series together with lifting
constructions characterising algebras of such series, which usually are quantales. A number …

Reactive programs combine traditional sequential programming constructs with primitives to
allow communication with other concurrent agents. They are ubiquitous in modern …

Reactive programs are ubiquitous in modern applications, and so verification is highly
desirable. We present a verification strategy for reactive programs with a large or infinite …

We introduce new variants of Kleene star and omega iteration for the case where the
iterated operator is neither associative nor has a neutral element. The associated repetition …

The aim of algebraic logic is to compact series of small steps of general logical inference
into larger (in) equational steps. Algebraic structures that have proved very useful in this …