Flow/Machine Consistency. The minimal requirement to a given pair of a flow and machine is that the two agree on deadlocks and divergences. To account for partial flows it is required to consider a situation when only a part of a machine traces is specified by a flow. A flow trace starting with jstart and eventually reaching stop would match a complete machine trace if it matches any trace at all.
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement