Journals in DBLP

Concurrency and Computation: Practice and Experience
2003, volume: 15, number: 2

1. Glenn R. Luecke, Hua Chen, James Coyle, Jim Hoekstra, Marina Kraeva, Yan Zou
   MPI-CHECK: a tool for checking Fortran 90 MPI programs. [Citation Graph (0, 0)][DBLP]
   Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:93-100 [Journal]
   
2. Krzysztof Boryczko, Witold Dzwinel, David A. Yuen
   Clustering revealed in high-resolution simulations and visualization of multi-resolution features in fluid-particle models. [Citation Graph (0, 0)][DBLP]
   Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:101-116 [Journal]
   
3. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
   Modular specification of frame properties in JML. [Citation Graph (0, 0)][DBLP]
   Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:117-154 [Journal]
   
4. Alessandro Coglio
   Improving the official specification of Java bytecode verification. [Citation Graph (0, 0)][DBLP]
   Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:155-179 [Journal]