Provenance Composition in PROV

When two communicating processes each record their own provenance, what extra information needs to be recorded in order that a satisfactory account can be given, of the combined process? We propose a set of requirements on (i) the kind of information that the processes can share and (ii) the kind of queries that should be answerable from the combined provenance graph. We describe a solution using PROV.