Causality in concurrent systems

Silvia Crafa Federica Russo

Published in: CoRR (2013)

Keyphrases

concurrent systems
temporal logic
process algebra
distributed systems
model checking
petri net
formal specification
transition systems
causal relationships
causal ordering
causal inference
causal models
causal reasoning
causal knowledge
knowledge base
temporal ordering
real time