The following pages link to (Q4813199):
Displaying 5 items.
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- Performance analysis of probabilistic action systems (Q1764427) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- Refinement of actions in a real-time process algebra with a true concurrency model (Q2844829) (← links)
- Probabilistic \(\pi\)-calculus and event structures (Q2870289) (← links)