What people are saying - Write a review
We haven't found any reviews in the usual places.
Occam and the Transputer David May
Compiling Occam into Silicon David May
Use of Formal Methods by a Silicon Manufacturer
6 other sections not shown
action algorithm application Areg assignment atomic actions axiom bandwidth behavior binary n-cube bspec buffer C-element C. A. R. Hoare called Cantor cess channel chip circuit command Communicating Sequential Processes compilation components Computer Science concurrent computers concurrent processes concurrent programs connected construct Cosmic Cube data structure defined definition delay-insensitive described device disjunction distributed example execution Figure floating-point formal guards handler handshaking expansion hardware Hemel Hempstead Hence implementation initially INMOS input interface interleaving introduce Iptr Lemma lock logic MAIL message system microcode microinstruction multicomputer node notation occam occam program operands operator output Oxford University Computing packet parallel performance pointer PR set predicate procedure processor Programming Research Group proof properties protocol queue receive recursion registers require routing Section sequence silicon simple simulation specification stable stack synchronization theorem tion trace transaction transformation transputer unless q variables VLSI wire xrecv