External Links

    Journal: Inf. Comput.

    Volume 177, Issue 2

    121 -- 0Takayasu Ito. Guest Editorial
    122 -- 159Naoki Kobayashi. A Type System for Lock-Free Processes
    160 -- 194Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon. Types for the Ambient Calculus
    195 -- 241Massimo Merro, Josva Kleist, Uwe Nestmann. Mobile Objects as Mobile Processes

    Volume 177, Issue 1

    1 -- 0Giuseppe Castagna, Adriana B. Compagnoni. Seventh International Workshop on Foundations of Object-Oriented Languages
    2 -- 27Michele Bugliesi, Santiago M. Pericás-Geertsen. Type Inference for Variant Object Types
    28 -- 55Kathleen Fisher, John H. Reppy. Inheritance-Based Subtyping
    56 -- 89Atsushi Igarashi, Benjamin C. Pierce. On Inner Classes
    90 -- 120Ran Rinat. Type-Safe Covariant Specialization with Generalized Matching
    runs on