A Formal Model of Provenance in Distributed Systems.
Issam SouilahAdrian FrancalanzaVladimiro SassonePublished in: Workshop on the Theory and Practice of Provenance (2009)
Keyphrases
- distributed systems
- formal model
- fault tolerant
- metadata
- distributed environment
- message passing
- load balancing
- fault tolerance
- formal models
- geographically distributed
- real time systems
- data replication
- mobile agents
- loosely coupled
- software architecture
- distributed computing
- security policies
- security properties
- databases
- fine grained
- distributed databases
- operating system
- concurrent systems