A Chart Semantics for the Pi-Calculus.

Johannes Borgström Andrew D. Gordon Andrew Phillips

Published in: EXPRESS (2007)

Keyphrases

algebraic structure
formal semantics
formal language
database query languages
process algebra
proof theoretic
relational calculus
logic programming
semantic information
conceptual model
databases
neural network
semantic web
reasoning tasks
concurrent systems