Nominal Semantics of the pi I-calculus.

Andrei Alexandru Gabriel Ciobanu

Published in: SYNASC (2011)

Keyphrases

algebraic structure
database query languages
formal language
semantic information
formal semantics
database systems
nonmonotonic logics
relational calculus
process algebra
database
query language
expressive power
relational algebra
default logic
operational semantics
asynchronous circuits