A fully abstract denotational semantics for the calculus of higher−order communicating systems - Thomsen, B; Abramsky, S (Theoretical Computer Science, 2001)