Computer Journal

Formal Methods in Computation
pp. 1-1(1)
Author: Moller F.G.

Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design
pp. 2-11(10)
Authors: Barringer H.; Fellows D.; Gough G.; Williams A.

Balsa: An Asynchronous Hardware Synthesis Language
pp. 12-18(7)
Authors: Edwards D.; Bardsley A.

Validating the AMULET Microprocessors
pp. 19-26(8)
Author: Furber S.

Relating Event and Trace Semantics of Hardware Description Languages
pp. 27-36(10)
Author: Gordon M.J.C.

A Thread of HOL Development
pp. 37-45(9)
Authors: Norrish M.; Slind K.

Formal Methods for Assuring Security of Protocols
pp. 46-54(9)
Authors: Older S.; Chin S-K.

A Modal Logic for Full LOTOS based on Symbolic Transition Systems
pp. 55-61(7)
Authors: Calder M.; Maharaj S.; Shankland C.

Traffic Modelling and Probabilistic Process Abstraction
pp. 62-67(6)
Author: Tofts C.

Book Reviews
pp. 68-71(4)
Authors: Tucker J.V.; Vorobyov S.; Tofts C.

Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach
pp. 72-87(16)
Authors: Huang C-M.; Chao Y-C.

Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms
pp. 88-100(13)
Authors: Shatnawi A.; Ahmad M.O.; Swamy M.N.S.

A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks
pp. 101-110(10)
Authors: Wu S-L.; Tseng Y-C.; Lin C-Y.; Sheu J-P.

A Framework for Developing and Analyzing Software Architecture Specifications in SAM
pp. 111-128(18)
Authors: He X.; Deng Y.