Functional semantics

• sequentialF[i]=H[prog]

• sequential compositionF[i1;…;in] = F[in] o … o F[i1]

• farm F[ts]= F[s]

• pipeline F[s1|…|sn] = F[sn] o … o F[s1]

Previous slide

Next slide

Back to first slide

View graphic version