Fully Abstract Semantics for Higher Order Communicating Systems

S. Ramesh. Fully Abstract Semantics for Higher Order Communicating Systems. In Ivan M. Havel, Václav Koubek, editors, Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS 92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings. Volume 629 of Lecture Notes in Computer Science, pages 463-471, Springer, 1992.

Abstract

Abstract is missing.