Final semantics for the pi-calculus.

Furio Honsell Marina Lenisa Ugo Montanari Marco Pistore

Published in: PROCOMET (1998)

Keyphrases

algebraic structure
database query languages
formal language
formal semantics
process algebra
database systems
logic programming
relational calculus
data sets
semantic information
reasoning tasks
object oriented
model checking
default reasoning
model theoretic