Selected papers of the 6th Workshop on Mathematical Foundations of Programming Semantics,Kingston, Canada, May 1990
By: guest editors: M. Mislove and R.D. Tennent.
Contributors: Mislove, Michael.; Tennent, R. D., 1944-
Series: Theoretical computer science -- vol.111 (1-2)
Publisher: North-Holland
Published: 1993
Place of publication: Amsterdam; London
Language: eng