External Links

    Journal: Inf. Comput.

    Volume 127, Issue 2

    65 -- 0Moshe Y. Vardi. In Memoriam: Paris C. Kanellakis (1953-1995)
    66 -- 90Andrew M. Pitts. Relational Properties of Domains
    91 -- 101Parosh Aziz Abdulla, Bengt Jonsson. Verifying Programs with Unreliable Channels
    102 -- 116John C. Mitchell, Ramesh Viswanathan. Standard ML-NJ Weak Polymorphism and Imperative Constructs
    117 -- 144Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson. Database Query Languages Embedded in the Typed Lambda Calculus
    145 -- 163Stephen D. Brookes. Full Abstraction for a Shared-Variable Parallel Language
    164 -- 185André Joyal, Mogens Nielsen, Glynn Winskel. Bisimulation from Open Maps
    186 -- 198Marcelo P. Fiore. A Coinduction Principle for Recursive Data Types Based on Bisimulation

    Volume 127, Issue 1

    1 -- 10Vladimir V. V yugin. Bayesianism: An Algorithmic Analysis
    11 -- 25Pietro Di Gianantonio. Real Number Computability and Domain Theory
    26 -- 40Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir. Axiomatizing Prefix Iteration with Silent Steps
    41 -- 61Walter Vogler. The Limit of Split::n::-Language Equivalence
    runs on