The Computer Journal

Articles

S. Christensen, Y. Hirshfeld, and F. Moller

Decidable Subsets of CCS
The Computer Journal 1994 37: 233-242; doi:10.1093/comjnl/37.4.233 [Abstract] [PDF] [Request Permissions]  

J. A. Bergstra, I. Bethke, and A. Ponse

Process Algebra with Iteration and Nesting
The Computer Journal 1994 37: 243-258; doi:10.1093/comjnl/37.4.243 [Abstract] [PDF] [Request Permissions]  

W. Fokkink and H. Zantema

Basic Process Algebra with Iteration: Completeness of its Equational Axioms
The Computer Journal 1994 37: 259-267; doi:10.1093/comjnl/37.4.259 [Abstract] [PDF] [Request Permissions]  

S. Mauw and M. A. Reniers

An Algebraic Semantics of Basic Message Sequence Charts
The Computer Journal 1994 37: 269-277; doi:10.1093/comjnl/37.4.269 [Abstract] [PDF] [Request Permissions]  

H. Korver

A Theory for Simulators
The Computer Journal 1994 37: 279-287; doi:10.1093/comjnl/37.4.279 [Abstract] [PDF] [Request Permissions]  

M. A. Bezem and J. F. Groote

A Correctness Proof of a One-bit Sliding Window Protocol in µCRL
The Computer Journal 1994 37: 289-307; doi:10.1093/comjnl/37.4.289 [Abstract] [PDF] [Request Permissions]  

P. Fränti, O. Nevalainen, and T. Kaukoranta

Compression of Digital Images by Block Truncation Coding: A Survey
The Computer Journal 1994 37: 308-332; doi:10.1093/comjnl/37.4.308 [Abstract] [PDF] [Request Permissions]  

W. Cai and S. J. Turner

An Approach to the Run-Time Monitoring of Parallel Programs
The Computer Journal 1994 37: 333-345; doi:10.1093/comjnl/37.4.333 [Abstract] [PDF] [Request Permissions]  

V. Danck

Review: Book Review
The Computer Journal 1994 37: 346; doi:10.1093/comjnl/37.4.346 [PDF] [Request Permissions]  

R. Ramanujam

Review: Book Review
The Computer Journal 1994 37: 346-347; doi:10.1093/comjnl/37.4.346-a [PDF] [Request Permissions]  

I. Craig

Review: Book Review
The Computer Journal 1994 37: 347-348; doi:10.1093/comjnl/37.4.347 [PDF] [Request Permissions]  

K. Lodaya

Review: Book Review
The Computer Journal 1994 37: 348-349; doi:10.1093/comjnl/37.4.348 [PDF] [Request Permissions]  

P. Mukherjee

Review: Book Review
The Computer Journal 1994 37: 349; doi:10.1093/comjnl/37.4.349 [PDF] [Request Permissions]  

P. Mukherjee

Review: Book Review
The Computer Journal 1994 37: 349-350; doi:10.1093/comjnl/37.4.349-a [PDF] [Request Permissions]  

M. B. M. Gibson

Review: Book Review
The Computer Journal 1994 37: 350; doi:10.1093/comjnl/37.4.350 [PDF] [Request Permissions]  

C. C. Kirkham

Review: Book Review
The Computer Journal 1994 37: 350-351; doi:10.1093/comjnl/37.4.350-a [PDF] [Request Permissions]  

A. Larner

Review: Book Review
The Computer Journal 1994 37: 351; doi:10.1093/comjnl/37.4.351 [PDF] [Request Permissions]  

A. Larner

Review: Book Review
The Computer Journal 1994 37: 351-352; doi:10.1093/comjnl/37.4.351-a [PDF] [Request Permissions]  

D. Anthony

Review: Book Review
The Computer Journal 1994 37: 352; doi:10.1093/comjnl/37.4.352 [PDF] [Request Permissions]  

P. Green

Review: Book Review
The Computer Journal 1994 37: 352-353; doi:10.1093/comjnl/37.4.352-a [PDF] [Request Permissions]  

P. V. S. Rao

Review: Book Review
The Computer Journal 1994 37: 353-354; doi:10.1093/comjnl/37.4.353 [PDF] [Request Permissions]  

N. M. Gibbins

Review: Book Review
The Computer Journal 1994 37: 354-355; doi:10.1093/comjnl/37.4.354 [PDF] [Request Permissions]  

G. R. Martin

Review: Book Review
The Computer Journal 1994 37: 355; doi:10.1093/comjnl/37.4.355 [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.