Access the full text.
Sign up today, get DeepDyve free for 14 days.
M. Rem (1986)
Concurrent computations and VLSI circuits
(1986)
Compiling Communicating Processes into Delay - Insensitive VLSI Circuits
M Rem (1985)
Control flow and data flow: concepts in distributed programs
Alain Martin (1985)
The Probe: An Addition to Communication PrimitivesInf. Process. Lett., 20
E. Dijkstra (1976)
A Discipline of Programming
Alain Martin (1983)
The Design of a Self-timed Circuit for Distributed Mutual Exclusion
C. Mead, L. Conway (1978)
Introduction to VLSI systems
J. Snepscheut (1985)
Trace Theory and VLSJ Design, 200
Alain Martin (1985)
A Delay-insensitive Fair Arbiter
Rahim Ramezanian (1978)
Communicating sequential processesCommun. ACM, 21
I. Kourtev, E. Friedman (2000)
System Timing
Alain Martin (1986)
Self-Timed FIFO: An Exercise in Compiling Programs with VLSI Circuits
(1985)
Synthesis of delay-insensitive modules
Alain Martin (1985)
Distributed Mutual Exclusion on a Ring of ProcessesSci. Comput. Program., 5
A method is described for compiling computations described as a set of communicating processes into VLSI circuits. The circuits obtained are delay-insensitive, i.e., their correct operation is independent of any assumption on delays in operators and wires, except that the delays are finite. They are also correct by construction since they are derived by a series of semantics-preserving transformation.
Distributed Computing – Springer Journals
Published: Apr 24, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.