A Fully Abstract Semantics for Causality in the \pi-Calculus.
Michele BorealeDavide SangiorgiPublished in: Acta Informatica (1998)
Keyphrases
- algebraic structure
- formal language
- formal semantics
- logic programming
- relational calculus
- database query languages
- higher level
- expressive power
- proof theoretic
- propositional dynamic logic
- graphical representation
- process algebra
- proof theory
- causal reasoning
- cardinal directions
- low level
- operational semantics
- computational properties
- causal relationships
- logic programs