External Links

    Journal: Comput. J.

    Volume 28, Issue 5

    449 -- 465M. W. Shields. Concurrent Machines
    466 -- 473Krishna Kant, Abraham Silberschatz. Error Propagation and Recovery in Concurrent Environments
    474 -- 479Lawrence C. Paulson. Lessons Learned from LCF: A Survey of Natural Deduction Proofs
    480 -- 486Lloyd Allison. Programming Denotational Semantics II
    487 -- 495Zsuzsanna Markusz, A. A. Kaposi. Complexity Control in Logic-Based Programming
    496 -- 497Robert M. O Keefe. Comment on Complexity Analyses of Event Set Algorithms
    498 -- 500Nader Chebini. FEDOS: A Finite Element Database for Offshore Structures
    501 -- 507Peter M. D. Gray, P. Esslemont. The Performance of a Relational Interface to a Codasyl Database
    508 -- 517Donal J. Flynn, Alberto H. F. Laender. Mapping from a Conceptual Schema to a Target Internal Schema
    518 -- 523Clement H. C. Leung, K. Wolfenden. Analysis and Optimisation of Data Currency and Consistency in Replicated Distributed Databases
    524 -- 529Michael Hatzopoulos, John G. Kollias. Towards the Optimal Secondary Index Organisation and Secondary Index Selection
    530 -- 537A. J. Compton. An Algorithm for the Even Distribution of Entities in One Dimension
    538 -- 542M. C. Er. Enumerating Ordered Trees Lexicographically
    runs on