Common use of Definition A Clause in Contracts

Definition A. The depth of a transcript trans, denoted d(trans), is the largest number of nodes on a source-to-sink path in trans minus 2 (to exclude the source and the sink). The depth of a compliance predicate C, denoted d(C), is defined to be the maximum depth of any transcript trans compliant with C. If d(C) := (i.e., paths in C-compliant transcripts can be arbitrarily long) we say that C has unbounded depth. ⊥ ∈ We note that for our application in Section 4, we can assume that for every v V , the label input is linp(v) = . We now give a formal definition of a PCD system.

Definition A. The depth of a transcript trans, denoted d(trans), is the largest number of nodes on a source-to-sink path in trans minus 2 (to exclude the source and the sink). The depth of a compliance predicate C, denoted d(C), is defined to be the maximum depth of any transcript trans compliant with C. If d(C) := ∞ (i.e., paths in C-compliant transcripts can be arbitrarily long) we say that C has unbounded depth. ⊥ ∈ We note that for our application in Section 4, we can assume that for every v ∈ V , the label input is linp(v) = . ⊥. We now give a formal definition definition of a PCD system.