著者
K. M. Chandy, J. Misra
タイトル
An example of stepwise refinement of distributed programs: Quiescence detection
ページ
326-343
日時
July 1986
カテゴリ
Journal: ACM Transactions on Programming Languages and
        Systems
Number: 3
Bibtype: Article
Pages: 326-343
Month: jul
Author: K. M. Chandy
        J. Misra
Title: An example of stepwise refinement of distributed programs:
        Quiescence detection
Year: 1986
Volume: 8