Artifact: Events and event chains
The events and event chains needed to formulate the synchronization constraint in TADL.
Relationships
Description
Main Description

This work product captures the events and event chains that are needed to formulate the synchronization constraint in TADL.