A Symbolic Semantics for the pi-Calculus.

Michele Boreale Rocco De Nicola

Published in: Inf. Comput. (1996)

Keyphrases

algebraic structure
formal semantics
formal language
database query languages
relational calculus
logic programming
symbolic description
neural network
high level
semantic information
proof theoretic
data model
semantic web
computational properties
real numbers