External Links

    Journal: J. Comput. Syst. Sci.

    Volume 40, Issue 2

    125 -- 135Kevin E. Flannery, Johannes J. Martin. The Hoare and Smith Power Domain Constructors Commute under Composition
    136 -- 153Etienne Grandjean. First-Order Spectra with One Variable
    154 -- 181Jürgen Dassow, Helmut Jürgensen. Soliton Automata
    182 -- 187Damas P. Gruska. Genomorphisms of Semi-Modular Lattices
    188 -- 228Michael G. Main, Grzegorz Rozenberg. Edge-Label Controlled Graph Grammars
    229 -- 268Axel Poigné. Parametrization for Order-Sorted Algebraic Specification
    269 -- 288Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer. On the Power of Safe Locking
    runs on