Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- petri net
- process algebra
- transition systems
- model checking
- formal specification
- causal reasoning
- causal relationships
- causal models
- execution traces
- hardware designs
- causal independence
- model based diagnosis
- causal inference
- bayesian networks
- fault localization
- causal networks
- causal discovery
- information systems
- parallel programming
- software systems
- causal theories