Tracelets and Specifications

In the accompanying paper [1] the authors study a model of concurrent programs in terms of events and a dependence relation, i.e., a set of arrows, between them.There also two simplifying interface models are presented; they abstract in different ways from the intricate network of internal points and arrows of program components.This report supplements [1] by presenting full proofs for the properties of the interface models, in particular, that both models exhibit homomorphic behaviour w.r.t.sequential and concurrent composition.