Abstract of Paper

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


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.