Volume 258, Number 1-2, 6 May 2001
Franck van Breugel
: An introduction to metric semantics: operational and denotational models for programming and specification languages.
, Mizuhito Ogawa
: Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem.
: On interreduction of semi-complete term rewriting systems.
, Weili Wu
: Optimal placement of data replicas in distributed database with majority voting protocol.