Theoretical Computer Science, Volume 111

Volume 111, Numbers 1&2, 1993

Selected Papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Canada, May 1990