Login / Signup
A Denotational Semantics for the Pi-Calculus.
Benjamin Aziz
Geoff W. Hamilton
Published in:
IWFM (2001)
Keyphrases
</>
denotational semantics
programming language
operational semantics
query language
abstract data types
object oriented
data model
general purpose
data types
management system
multi dimensional
formal semantics