On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms.

Lélia Blin Pierre Fraigniaud Boaz Patt-Shamir

Published in: SSS (2014)

Keyphrases

integrity constraints
efficient implementation
metadata
query language