Higher-order abstract GSOS is a recent extension of Turi and Plotkin's
f...
Notions of iteration range from the arguably most general Elgot iteratio...
Compositionality proofs in higher-order languages are notoriously involv...
The classical Hennessy-Milner theorem is an important tool in the analys...
Compositionality of denotational semantics is an important concern in
pr...
Behavioural distances measure the deviation between states in quantitati...
In this paper we have a fresh look at the connection between lax extensi...
Category theory is famous for its innovative way of thinking of concepts...
Hybrid programs combine digital control with differential equations, and...
Modelling and reasoning about dynamic memory allocation is one of the
we...
We consider the complexity of reasoning in extensions of the language of...
Hybrid computation combines discrete and continuous dynamics in the form...
Notions of guardedness serve to delineate admissible recursive definitio...
The recently introduced notions of guarded traced (monoidal) category an...
Notions of guardedness serve to delineate the admissibility of cycles, e...
Models of iterated computation, such as (completely) iterative monads, o...