Intent
Execute the actions act1 ,act2 ,…, actn simultaneously.
Template
PCTL
$
$
Variations
Examples and Known Uses
The expected duration of a navigation action is proportional to the distance between two locations [66]
Relationships
See the Proportionality pattern.