External Links

    Journal: Inf. Comput.

    Volume 115, Issue 2

    179 -- 247Luca Aceto, Matthew Hennessy. Adding Action Refinement to a Finite Process Algebra
    248 -- 292David Haussler, Nick Littlestone, Manfred K. Warmuth. Predicting /0,1/-Functions on Randomly Drawn Points
    293 -- 311Alain J. Mayer, Larry J. Stockmeyer. Word Problems-This Time with Interleaving
    312 -- 320Eli Upfal. Tolerating a Linear Number of Faults in Networks of Bounded Degree
    321 -- 353Phokion G. Kolaitis, Madhukar N. Thakur. Logical Definability of NP Optimization Problems
    354 -- 371Jan Friso Groote, Hans Hüttel. Undecidable Equivalences for Basic Process Algebra

    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