A fully abstract denotational semantics for the pi-calculus.

Matthew Hennessy

Published in: Theor. Comput. Sci. (2002)

Keyphrases

denotational semantics
abstract data types
programming language
operational semantics
query language
data types
high level
relational database systems
object oriented databases
object oriented
spatio temporal
data model
nearest neighbor