External Links

    Journal: Inf. Comput.

    Volume 115, Issue 1

    1 -- 37Moshe Y. Vardi, Pierre Wolper. Reasoning About Infinite Computations
    95 -- 124Alan David Fekete. Asynchronous Approximate Agreement
    125 -- 178Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten. Fully Abstract Denotational Models for Nonuniform Concurrent Languages
    runs on