Provenance in distributed systems : a process algebraic study of provenance management and its role in establishing trust in data quality
We aim to develop a formal framework to reason about provenance in distributed systems. We take as our starting point an extension of the asynchronous pi-calculus where processes are explicitly assigned principal identities. We enrich this basic setting with provenance annotated data, dynamic proven...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Southampton
2013
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.574864 |