| |
|
|
Causality AnalysisPtides is an actor-oriented model where components, also called actors, exchange messages via ports. In order to execute a Ptides system correctly, causal information about the actors is extracted. For details see Interface Theories for Causality Analsysis in Actor Networks. |