The Computer Journal

Articles

Faron G. Moller

Formal Methods in Computation
The Computer Journal 2002 45: 1; doi:10.1093/comjnl/45.1.1 [PDF] [Request Permissions]  

Howard Barringer, Donal Fellows, Graham Gough, and Alan Williams

Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design
The Computer Journal 2002 45: 2-11; doi:10.1093/comjnl/45.1.2 [Abstract] [PDF] [Request Permissions]  

Doug Edwards and Andrew Bardsley

Balsa: An Asynchronous Hardware Synthesis Language
The Computer Journal 2002 45: 12-18; doi:10.1093/comjnl/45.1.12 [Abstract] [PDF] [Request Permissions]  

Steve Furber

Validating the AMULET Microprocessors
The Computer Journal 2002 45: 19-26; doi:10.1093/comjnl/45.1.19 [Abstract] [PDF] [Request Permissions]  

Michael J. C. Gordon

Relating Event and Trace Semantics of Hardware Description Languages
The Computer Journal 2002 45: 27-36; doi:10.1093/comjnl/45.1.27 [Abstract] [PDF] [Request Permissions]  

Michael Norrish and Konrad Slind

A Thread of HOL Development
The Computer Journal 2002 45: 37-45; doi:10.1093/comjnl/45.1.37 [Abstract] [PDF] [Request Permissions]  

Susan Older and Shiu-Kai Chin

Formal Methods for Assuring Security of Protocols
The Computer Journal 2002 45: 46-54; doi:10.1093/comjnl/45.1.46 [Abstract] [PDF] [Request Permissions]  

M. Calder, S. Maharaj, and C. Shankland

A Modal Logic for Full LOTOS based on Symbolic Transition Systems
The Computer Journal 2002 45: 55-61; doi:10.1093/comjnl/45.1.55 [Abstract] [PDF] [Request Permissions]  

C. Tofts

Traffic Modelling and Probabilistic Process Abstraction
The Computer Journal 2002 45: 62-67; doi:10.1093/comjnl/45.1.62 [Abstract] [PDF] [Request Permissions]  

J. V. Tucker, Sergei Vorobyov, and Chris Tofts

Book Reviews
The Computer Journal 2002 45: 68-71; doi:10.1093/comjnl/45.1.68 [PDF] [Request Permissions]  

Chung-Ming Huang and Yu-Chang Chao

Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach
The Computer Journal 2002 45: 72-87; doi:10.1093/comjnl/45.1.72 [Abstract] [PDF] [Request Permissions]  

Ali Shatnawi, M. O. Ahmad, and M. N. S. Swamy

Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms
The Computer Journal 2002 45: 88-100; doi:10.1093/comjnl/45.1.88 [Abstract] [PDF] [Request Permissions]  

Shih-Lin Wu, Yu-Chee Tseng, Chih-Yu Lin, and Jang-Ping Sheu

A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks
The Computer Journal 2002 45: 101-110; doi:10.1093/comjnl/45.1.101 [Abstract] [PDF] [Request Permissions]  

Xudong He and Yi Deng

A Framework for Developing and Analyzing Software Architecture Specifications in SAM
The Computer Journal 2002 45: 111-128; doi:10.1093/comjnl/45.1.111 [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.