Performance analysis of probabilistic action systems Stefan HallerstedeMichael Butler OriginalPaper 28 April 2004 Pages: 313 - 331
Ramifications of metastability in bit variables explored via Simpson’s 4-slot mechanism S. E. PaynterN. HendersonJ. M. Armstrong OriginalPaper 25 May 2004 Pages: 332 - 351
Certifying circuits in Type Theory Solange Coupet-GrimalLine Jakubiec OriginalPaper 25 June 2004 Pages: 352 - 373
Complete deterministic stream X-machine testing Florentin Ipate OriginalPaper 02 June 2004 Pages: 374 - 386
An assertional proof for a construction of an atomic variable Wim H. Hesselink OriginalPaper 05 May 2004 Pages: 387 - 393
Responsiveness of interoperating components J. N. ReedJ. E. SinclairA. W. Roscoe OriginalPaper 18 October 2004 Pages: 394 - 411