Abstract of Paper

Denotational testing semantics in coinductive form
by Michele Boreale and Fabio Gadducci

Abstract:

Building on recent work by Rutten on the coalgebraic presentation of
formal power series, we define a final coalgebra semantics for processes
that exactly captures testing equivalence.
The construction turns out to provide a denotational setting for process
calculi, since the framework allows for the abstract definition of
operators by means of {\em behavioural differential equations\/}, that
is, behavioural constraints on the final coalgebra structure.