PPT Slide
Specification of Execution Sequences
Sequencing by output/input dependencies
Implementation depends on name space specifications
partitioned - messages - data flow
shared - synchronized access
Sequence by functional dependencies
functional and logic languages
first order linear logic of events
Derivation from constraints and initialization.