Towards Parametric Causal Semantics in pi-calculus.
Doriana MedicClaudio Antares MezzinaPublished in: ICTCS/CILC (2017)
Keyphrases
- process algebra
- algebraic structure
- formal language
- database query languages
- logic programming
- semantic information
- causal networks
- formal semantics
- formal specification
- causal relationships
- proof theoretic
- conceptual model
- model checking
- bayesian networks
- causal models
- data mining
- argumentation frameworks
- model theoretic
- expressive power
- relational calculus
- programming language
- logical rules
- control system
- xml documents