Skip to main content
Back to USENIX
  • Conferences
  • Students
Sign in

USENIX Conference Policies

  • Event Code of Conduct
  • Conference Network Policy
  • Statement on Environmental Responsibility Policy

A Formal Model of Provenance in Distributed Systems

Issam Souilah, University of Southampton, UK

Adrian Francalanza, University of Malta, Malta

Vladimiro Sassone, University of Southampton, UK

BibTeX
@inproceedings {267874,
author = {Issam Souilah and Adrian Francalanza and Vladimiro Sassone},
title = {A Formal Model of Provenance in Distributed Systems},
booktitle = {1st Workshop on the Theory and Practice of Provenance (TaPP 09)},
year = {2009},
address = {San Francisco, CA},
url = {https://www.usenix.org/conference/tapp-09/formal-model-provenance-distributed-systems},
publisher = {USENIX Association},
month = feb
}
Download

Links

Paper: 
http://usenix.org/event/tapp09/tech/full_papers/souilah/souilah.pdf
Paper (HTML): 
http://usenix.org/event/tapp09/tech/full_papers/souilah/souilah_html/
  • Log in or register to post comments

© USENIX
EIN 13-3055038

  • Privacy Policy
  • Contact Us