Convention. Traces, states, lineages, and costs [ftip-00IS]
Convention. Traces, states, lineages, and costs [ftip-00IS]
Use \(z_{0:n}\) for a finite trace, \(s_t\) for a harness state, \(\ell \) for a lineage, and \(c\) for an execution cost. Event logs and summaries are distinct carriers even when one is computed from the other.