Volume 254, Number 1-2, 6 March 2001
: Quantales, finite observations and strong bisimulation.
Jan Van den Bussche
: Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions.
, Samson Abramsky
: A fully abstract denotational semantics for the calculus of higher-order communicating systems.
: Stratified negation in temporal logic programming and the cycle-sum test.
, George Loizou
: Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies.
, Roberto Gorrieri
: Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54].