A Multiset Semantics for the pi-Calculus with Replication.
Joost EngelfrietPublished in: CONCUR (1993)
Keyphrases
- algebraic structure
- formal semantics
- formal language
- process algebra
- database query languages
- semantic information
- distributed databases
- fault tolerant
- fault tolerance
- operational semantics
- proof theoretic
- neural network
- relational calculus
- computational properties
- data partitioning
- integrity constraints
- model checking
- peer to peer
- response time
- web services