Volume 309, Numbers 1-3, 2 December 2003
: Order-incompleteness and finite lambda reduction models.
: A format for semantic equivalence comparison.
Paul H. B. Gardiner
: Power simulation and its relation to traces and failures refinement.
: Coalgebraic modal logic: soundness, completeness and decidability of local consequence.
: On iterating linear transformations over recognizable sets of integers.
: Realizability of high-level message sequence charts: closing the gaps.