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

people

Samson Abramsky