Theoretical Computer Science, Volume 177
Volume 177, Number 1, 30 April 1997
Tenth Conference on Mathematical Foundations of Programming Semantics, Kansas State University, March, 1994
: A General Adequacy Result for a Linear Functional Language.
Volume 177, Number 2, 15 May 1997
Algebra of Communicating Processes
, Hans Zantema
: Termination Modulo Equations by Abstract Commutation with an Application to Iteration.