A fully abstract denotational semantics for the calculus of higher-order communicating systems

• Authors:

• B. Thomsen;S. Abramsky

• Affiliations:

• Group Technical Directorate, Berkshire, U. K.;The Univ. of Edinburgh, Edinburgh, U. K.

• Venue:
• Theoretical Computer Science
• Year:
• 2001