The Computer Journal

Articles

D. T. Caminer

LEO and its Applications: The Beginning of Business Computing
The Computer Journal 1997 40: 585-597; doi:10.1093/comjnl/40.10.585 [Abstract] [PDF] [Request Permissions]  

D. I. K. Sjøberg, R. Welland, and M. P. Atkinson

Software Constraints for Large Application Systems
The Computer Journal 1997 40: 598-616; doi:10.1093/comjnl/40.10.598 [Abstract] [PDF] [Request Permissions]  

D. Morris, D. G. Evans, and S. Schofield

Simulating the Behaviour of Computer Systems: Co-simulation of Hardware/Software
The Computer Journal 1997 40: 617-629; doi:10.1093/comjnl/40.10.617 [Abstract] [PDF] [Request Permissions]  

S. K. Madria

A Study of the Concurrency Control and Recovery Algorithms in Nested Transaction Environment
The Computer Journal 1997 40: 630-639; doi:10.1093/comjnl/40.10.630 [Abstract] [PDF] [Request Permissions]  

O. Müller and K. Slind

Treating Partiality in a Logic of Total Functions
The Computer Journal 1997 40: 640-651; doi:10.1093/comjnl/40.10.640 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.