A Fully Abstract Semantics for Causality in the Pi-Calculus.
Michele BorealeDavide SangiorgiPublished in: STACS (1995)
Keyphrases
- algebraic structure
- process algebra
- formal language
- formal semantics
- semantic information
- propositional dynamic logic
- causal models
- graphical representation
- logic programming
- speech acts
- low level
- high level
- neural network
- conceptual model
- causal relationships
- logical framework
- computational properties
- causal reasoning
- causal relations
- asynchronous circuits
- database