The Computer Journal

Articles

Nick Donofrio

Turing Memorial Lecture
The Computer Journal 2001 44: 67-74; doi:10.1093/comjnl/44.2.67 [PDF] [Request Permissions]  

Evaggelia Pitoura and Ioannis Fudos

Distributed Location Databases for Tracking Highly Mobile Objects
The Computer Journal 2001 44: 75-91; doi:10.1093/comjnl/44.2.75 [Abstract] [PDF] [Request Permissions]  

Roberto Baldoni, Francesco Quaglia, and Michel Raynal

Consistent Checkpointing for Transaction Systems
The Computer Journal 2001 44: 92-100; doi:10.1093/comjnl/44.2.92 [Abstract] [PDF] [Request Permissions]  

F. C. M. Lau, P. K. W. Cheng, and S. S. H. Tse

An Algorithm for the 2-Median Problem on Two-Dimensional Meshes
The Computer Journal 2001 44: 101-108; doi:10.1093/comjnl/44.2.101 [Abstract] [PDF] [Request Permissions]  

N. De Francesco, A. Fantechi, S. Gnesi, and P. Inverardi

Finite Approximations for Model Checking Non-finite-state Processes
The Computer Journal 2001 44: 109-123; doi:10.1093/comjnl/44.2.109 [Abstract] [PDF] [Request Permissions]  

Daniel Y. Chao and Jose A. Nicdao

Liveness for Synchronized Choice Petri Nets
The Computer Journal 2001 44: 124-136; doi:10.1093/comjnl/44.2.124 [Abstract] [PDF] [Request Permissions]  

Jason Crampton, George Loizou, and Greg O'Shea

A Logic of Access Control
The Computer Journal 2001 44: 137-149; doi:10.1093/comjnl/44.2.137 [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.