Fully Abstract Semantics for Higher Order Communicating Systems.

S. Ramesh

Browse the full MFCS paper archive.