A fully abstract denotational semantics for the calculus of higher−order communicating systems (Theoretical Computer Science, 2001)

(untitled) - Thomsen, B; Abramsky, S