A Symbolic Semantics for the pi-calculus (Extended Abstract).

Michele Boreale Rocco De Nicola

Published in: CONCUR (1994)

Keyphrases

extended abstract
formal language
algebraic structure
formal semantics
database query languages
high level
logic programming
neural network
process algebra
model theoretic
proof theoretic
data sets
symbolic representation
relational calculus
model checking
semantic information
database systems