Volume 308, Number 1-3, November 2003
Jan J. M. M. Rutten
: Behavioural differential equations: a coinductive calculus of streams, automata, and power series.
, Christophe Raffalli
: Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic.
: A fixpoint theory for non-monotonic parallelism.