Issam Souilah, Adrian Francalanza, Vladimiro Sassone. A Formal Model of Provenance in Distributed Systems. In James Cheney, editor, First Workshop on the Theory and Practice of Provenance, February 23, 2009, San Francisco, CA, USA, Proceedings. USENIX, 2009. [doi]
Abstract is missing.