Fine-Grained Complexity of Safety Verification.

Peter Chini Roland Meyer Prakash Saivasan

Published in: TACAS (2) (2018)

Keyphrases

fine grained
coarse grained
access control
tightly coupled
massively parallel
data lineage
data provenance