A Pi-Calculus with Explicit Substitutions: the Late Semantics.

Gian Luigi Ferrari Ugo Montanari Paola Quaglia

Published in: MFCS (1994)

Keyphrases

algebraic structure
formal language
formal semantics
process algebra
database query languages
semantic information
relational calculus
logic programming
conceptual model
databases
domain knowledge
operational semantics
asynchronous circuits
proof theory
computer algebra