We present Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs
as Processes” correspondence between linear logic and the π-calculus initially proposed by …

The Method of Coalgebra: exercises in coinduction Jan Rutten Page 1 The Method of
Coalgebra: exercises in coinduction Jan Rutten February 2019 261 pages ISBN 978-90-6196-568-8 …

Although there are tools to help developers understand the matching behaviors between a
regular expression and a string, regular-expression related faults are still common. Learning …

Induction is a proof and definition principle which is standard in mathematics and computer
science. Coinduction, its dual, is particularly suitable for defining infinite and circular objects …

In the context of abstract coinduction in complete lattices, the notion of compatible function
makes it possible to introduce enhancements of the coinduction proof principle. The largest …

Combinatorial filters are discrete structures for modeling and reasoning about robotic
systems. Such filters are of interest not only because of the potential for reduction of the …

Combinatorial filters are formal structures for filtering and reasoning over discrete sensor
data. This article presents a series of results addressing the question whether the filter …

An important class of applications entails a robot monitoring, scrutinizing, or recording the
evolution of an uncertain time-extended process. This sort of situation leads to an interesting …

In this tale Alice ends up in Wineland, where she tries to attend the birthday party of one of
its most beloved inhabitants. In order to do so, she must learn about contracts and how …

One important class of applications entails a robot scrutinizing, monitoring, or recording the
evolution of an uncertain time-extended process. This sort of situation leads to an interesting …