Login / Signup
A fully abstract denotational semantics for the calculus of higher-order communicating systems.
Bent Thomsen
Samson Abramsky
Published in:
Theor. Comput. Sci. (2001)
Keyphrases
</>
higher order
denotational semantics
artificial intelligence
data model
high order
communication channels