External Links

    Journal: Formal Asp. Comput.

    Volume 2, Issue 4

    301 -- 311Huimin Lin, Man-Chi Pong. Modelling Multiple Inheritance with Colimits
    312 -- 330Alain Ah-kee. Proof Obligations for Blocks and Procedures
    331 -- 341Mike Stannett. X-Machines and the Halting Problem: Building a Super-Turing Machine
    342 -- 358Nandit Soparkar, Abraham Silberschatz. On the Interconnection Constants of Hopfield Nets
    359 -- 392N. P. Chapman. Defining, Analysing and Implementing Communication Protocols Using Attribute Grammars
    runs on