The Computer Journal

Articles

Keith van Rijsbergen

Editorial
The Computer Journal 2000 43: 167; doi:10.1093/comjnl/43.3.167 [PDF] [Request Permissions]  

Ian Holyer and Hüseyin Pehlivan

A Recovery Mechanism for Shells
The Computer Journal 2000 43: 168-176; doi:10.1093/comjnl/43.3.168 [Abstract] [PDF] [Request Permissions]  

Tatiana Tambouratzis

Counter-clustering for Training Pattern Selection
The Computer Journal 2000 43: 177-190; doi:10.1093/comjnl/43.3.177 [Abstract] [PDF] [Request Permissions]  

Cinzia Bernardeschi, Alessandro Fantechi, and Luca Simoncini

Formally Verifying Fault Tolerant System Designs
The Computer Journal 2000 43: 191-205; doi:10.1093/comjnl/43.3.191 [Abstract] [PDF] [Request Permissions]  

Samir M. Koriem

A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems
The Computer Journal 2000 43: 206-223; doi:10.1093/comjnl/43.3.206 [Abstract] [PDF] [Request Permissions]  

Søren Christensen and Laure Petrucci

Modular Analysis of Petri Nets
The Computer Journal 2000 43: 224-242; doi:10.1093/comjnl/43.3.224 [Abstract] [PDF] [Request Permissions]  

Cyril Gavoille

On the Dilation of Interval Routing
The Computer Journal 2000 43: 243-249; doi:10.1093/comjnl/43.3.243 [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.