External Links

    Journal: J. Comput. Syst. Sci.

    Volume 4, Issue 3

    193 -- 204Gene F. Rose. Abstract Families of Processors
    205 -- 219Robin Milner. Equivalences on Program Schemes
    220 -- 249David C. Luckham, David Michael Ritchie Park, Mike Paterson. On Formalised Computer Programs
    250 -- 259R. Temam. Remarks on the Approximation of Some Nonlinear Elliptic Equations
    260 -- 280Rina S. Cohen, Janusz A. Brzozowski. General Properties of Star Height of Regular Events
    281 -- 297Rina S. Cohen. Star Height of Certain Families of Regular Events
    runs on