Login / Signup

Detection of Unstable Predicates in Distributed Programs.

Vijay K. GargBrian Waldecker
Published in: FSTTCS (1992)
Keyphrases