Compiling Communicating Processes into Delay-Insensitive VLSI Circuits
The work
| Authors | Alain J. Martin |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1986 first published 1985 |
| Citekey | martin1986compiling |
Where it appeared
| Published in | Distributed Computing |
|---|---|
| Publisher | California Institute of Technology |
| Volume | 1 |
| Pages | 226--234 |
Identifiers
| DOI | 10.1007/bf01660034 |
|---|---|
| OpenAlex | W6902792924 |
| report_number | 5210:TR:86 |
Empty on purpose
| abstract |
Related
| Distinct from | alsayeg2010synthese |
|---|---|
| Distinct from | basin1991formally |
| Distinct from | bregier2007synthese |
| Distinct from | bryant1982mossim |
| Distinct from | ebergen1989translating |
| Distinct from | garavel2009semantics |
| Distinct from | gordon1983proving |
| Distinct from | jules2025herve |
| Distinct from | law2026mechanized |
| Distinct from | lewis2026finding |
| Distinct from | martin1985delayinsensitive |
| Distinct from | martin1990limitations |
| Distinct from | martin1993tomorrows |
| Distinct from | sayle1996automated |
| Distinct from | snepscheut1983trace |
A copy is held
pdf, 561.3 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-16 11:14 UTC |
| Approved by | a person 2026-10-02 09:56 UTC |
Cite it as
@techreport{martin1986compiling,
title = {Compiling Communicating Processes into Delay-Insensitive VLSI Circuits},
author = {Alain J. Martin},
year = {1986},
note = {first published 1985},
journal = {Distributed Computing},
publisher = {California Institute of Technology},
volume = {1},
pages = {226--234},
doi = {10.1007/bf01660034},
}
This record lives at https://refs.drheap.org/martin1986compiling/ and will keep doing so.