Circuit design (1990)
by
Cliff B Jones
,
Racey Programs
| Venue: | Formal Methods for VLSI Design (NorthhHolland |
| Citations: | 24 - 4 self |
BibTeX
@INPROCEEDINGS{Jones90circuitdesign,
author = {Cliff B Jones and Racey Programs},
title = {Circuit design},
booktitle = {Formal Methods for VLSI Design (NorthhHolland},
year = {1990},
pages = {13--70}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ACM specification
Citations
| 38 | Accommodating interference in the formal design of concurrent object-based programs - Jones - 1996 |
| 9 | Splitting atoms safely - Jones |
| 6 | Splitting atoms with rely/guarantee conditions coupled with data reification - Jones, Pierce - 2008 |
| 4 | Elucidating concurrent algorithms via layers of abstraction and reification - Jones, Pierce |
| 1 | The atomic manifesto - Weikum - 2000 |
