Using a formal specification contractually C. O'HalloranR. ArthanD. King OriginalPaper Pages: 349 - 358
A methodology for designing proof rules for fair parallel programs Charanjit S. JutlaJosyula R. Rao OriginalPaper Pages: 359 - 378
The Use of SI-Algebra in the design of sequencer circuits Mark B. JosephsAndrew M. Bailey OriginalPaper Pages: 395 - 408
Petri net based verification of distributed algorithms: An example Ekkart KindlerWolfgang ReisigRolf Walter OriginalPaper Pages: 409 - 424
The connection between initial and unique solutions of domain equations in the partial order and metric approach Christel BaierMila Majster-Cederbaum OriginalPaper Pages: 425 - 445