Journals in DBLP

IEE Proceedings - Software
2003, volume: 150, number: 2

1. Adrian E. Lawrence
   Extending CSP: denotational semantics. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:51-60 [Journal]
   
2. Adrian E. Lawrence
   CSP extended: imperative state and true concurrency. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:61-69 [Journal]
   
3. M. L. Smith, R. J. Parsons, C. E. Hughes
   View-centric reasoning for Linda and Tuple Space computation. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:71-83 [Journal]
   
4. Ana Cavalcanti, Jim Woodcock
   Predicate transformers in the semantics of Circus. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:85-94 [Journal]
   
5. I. East
   The Honeysuckle programming language: an overview. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:95-107 [Journal]
   
6. Gerald H. Hilderink
   Graphical modelling language for specifying concurrency based on CSP. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:108-120 [Journal]
   
7. Fred R. M. Barnes, Peter H. Welch
   Prioritised dynamic communicating and mobile processes. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:121-136 [Journal]
   
8. Kurt Debattista, Kevin Vella, J. Cordina
   Wait-free cache-affinity thread scheduling. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:137-146 [Journal]
   
9. Kei Simon Pedersen, Brian Vinter
   Java PastSet: a structured distributed shared memory system. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:2, pp:147-153 [Journal]
   
10. K. Pugh
    Configuration discovery and mapping of a home network. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2003, v:150, n:2, pp:155-160 [Journal]