The Weak Late pi-Calculus Semantics as Observation Equivalence.
Gian Luigi FerrariUgo MontanariPaola QuagliaPublished in: CONCUR (1995)
Keyphrases
- formal semantics
- formal language
- algebraic structure
- strong equivalence
- logic programming
- relational calculus
- logic programs
- process algebra
- query containment
- database query languages
- database
- computational properties
- operational semantics
- transitive closure
- default reasoning
- relational algebra
- semantic information
- neural network