A fully abstract denotational semantics for the calculus of higher−order communicating systems
B. Thomsen and S. Abramsky
Book Title
Theoretical Computer Science
Pages
557−589
Volume
254
Year
2001
B. Thomsen and S. Abramsky