Login / Signup

A Paradigm for Detecting Quiescent Properties in Distributed Computations.

K. Mani ChandyJayadev Misra
Published in: Logics and Models of Concurrent Systems (1984)
Keyphrases