Login / Signup
A Multiset Semantics for the pi-Calculus with Replication.
Joost Engelfriet
Published in:
Theor. Comput. Sci. (1996)
Keyphrases
</>
algebraic structure
fault tolerant
formal semantics
formal language
process algebra
relational calculus
databases
logic programming
data partitioning
database query languages
proof theoretic
conceptual model
distributed databases
replicated databases