Elucidating concurrent algorithms via layers of abstraction and reification (0)

by Cliff B Jones, Ken G Pierce
Results 1 - 3 of 3

Circuit design

by Cliff B Jones, Racey Programs - Formal Methods for VLSI Design (NorthhHolland , 1990
"... ACM specification ..."
Abstract - Cited by 24 (4 self) - Add to MetaCart
ACM specification

Conclusions

by Cliff B Jones
"... Rely/guarantee for race-free reasoning ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Rely/guarantee for race-free reasoning

Explanation by refinement and linearisability of two non-blocking shared-variable communication algorithms

by Richard Bornat, Hasan Amjad - UNDER CONSIDERATION FOR PUBLICATION IN FORMAL ASPECTS OF COMPUTING
"... ..."
Abstract - Add to MetaCart
Abstract not found