Journals in DBLP

Comput. J.
2001, volume: 44, number: 2

1. Nick Donofrio
   Turing Memorial Lecture. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2001, v:44, n:2, pp:67-74 [Journal]
   
2. Evaggelia Pitoura, Ioannis Fudos
   Distributed Location Databases for Tracking Highly Mobile Objects. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2001, v:44, n:2, pp:75-91 [Journal]
   
3. Roberto Baldoni, Francesco Quaglia, Michel Raynal
   Consistent Checkpointing for Transaction Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2001, v:44, n:2, pp:92-100 [Journal]
   
4. Francis C. M. Lau, Philip K. W. Cheng, Savio S. H. Tse
   An Algorithm for the 2-Median Problem on Two-Dimensional Meshes. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2001, v:44, n:2, pp:101-108 [Journal]
   
5. Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
   Finite Approximations for Model Checking Non-finite-state Processes. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2001, v:44, n:2, pp:109-123 [Journal]
   
6. Daniel Y. Chao, Jose A. Nicdao
   Liveness for Synchronized Choice Petri Nets. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2001, v:44, n:2, pp:124-136 [Journal]
   
7. Jason Crampton, George Loizou, Greg O'Shea
   A Logic of Access Control. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2001, v:44, n:2, pp:137-149 [Journal]