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]
@inproceedings{SouilahFS09,
title = {A Formal Model of Provenance in Distributed Systems},
author = {Issam Souilah and Adrian Francalanza and Vladimiro Sassone},
year = {2009},
url = {http://www.usenix.org/events/tapp09/tech/full_papers/souilah/souilah.pdf},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/SouilahFS09},
cites = {0},
citedby = {0},
booktitle = {First Workshop on the Theory and Practice of Provenance, February 23, 2009, San Francisco, CA, USA, Proceedings},
editor = {James Cheney},
publisher = {USENIX},
}