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

Volume 177, Number 2, 15 May 1997

Algebra of Communicating Processes