What Do You get From a Pi-Calculus Semantics?

Matthias Radestock Susan Eisenbach

Published in: PARLE (1994)

Keyphrases

formal language
algebraic structure
formal semantics
database query languages
relational calculus
logic programming
semantic information
process algebra
databases
knowledge representation
description logics
computational properties