Journals in DBLP

Comput. J.
2002, volume: 45, number: 1

1. Faron Moller
   Formal Methods in Computation. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:1- [Journal]
   
2. Howard Barringer, Donal Fellows, Graham Gough, Alan Williams
   Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:2-11 [Journal]
   
3. Doug Edwards, Andrew Bardsley
   Balsa: An Asynchronous Hardware Synthesis Language. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:12-18 [Journal]
   
4. Stephen B. Furber
   Validating the AMULET Microprocessors. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:19-26 [Journal]
   
5. Michael J. C. Gordon
   Relating Event and Trace Semantics of Hardware Description Languages. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:27-36 [Journal]
   
6. Michael Norrish, Konrad Slind
   A Thread of HOL Development. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:37-45 [Journal]
   
7. Susan Older, Shiu-Kai Chin
   Formal Methods for Assuring Security of Protocols. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:46-54 [Journal]
   
8. Muffy Calder, Savi Maharaj, Carron Shankland
   A Modal Logic for Full LOTOS based on Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:55-61 [Journal]
   
9. Chris M. N. Tofts
   Traffic Modelling and Probabilistic Process Abstraction. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:62-67 [Journal]
   
10. Chung-Ming Huang, Yu-Chang Chao
    Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:1, pp:72-87 [Journal]
    
11. Ali Shatnawi, M. Omair Ahmad, M. N. S. Swamy
    Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:1, pp:88-100 [Journal]
    
12. Shih-Lin Wu, Yu-Chee Tseng, Chih-Yu Lin, Jang-Ping Sheu
    A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:1, pp:101-110 [Journal]
    
13. Xudong He, Yi Deng
    A Framework for Developing and Analyzing Software Architecture Specifications in SAM. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:1, pp:111-128 [Journal]