External Links

    Journal: Comput. J.

    Volume 40, Issue 10

    585 -- 597David T. Caminer. LEO and its Applications: The Beginning of Business Computing
    598 -- 616Dag I. K. Sjøberg, Ray Welland, Malcolm P. Atkinson. Software Constraints for Large Application Systems
    617 -- 629Derrick Morris, D. Garet Evans, Simon Schofield. Simulating the Behaviour of Computer Systems: Co-Simulation of Hardware/Software
    630 -- 639Sanjay Kumar Madria. A Study of the Concurrency Control and Recovery Algorithms in Nested Transaction Environment
    640 -- 652Olaf Müller, Konrad Slind. Treating Partiality in a Logic of Total Functions
    runs on