Common use of Flow/Machine Consistency Clause in Contracts

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 rstart and eventually reaching stop would match a complete machine trace if it matches any trace at all. ∃ · ∈ ∧ ∈

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 rstart ′start and eventually reaching stop would match a complete machine trace if it matches any trace at all. ∃ · ∈ ∧ ∈.

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 rstart jstart and eventually reaching stop would match a complete machine trace if it matches any trace at all. ∃ · ∈ ∧ ∈.

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 rstart jstart and eventually reaching stop would match a complete machine trace if it matches any trace at all. ∃ · ∈ ∧ ∈