Skip to main content
SpringerLink
Log in

The translation of processes into circuits

  • Conference paper
  • First Online:
PARLE Parallel Architectures and Languages Europe (PARLE 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 258))

Abstract

A process is a pair 〈 A, X 〉 in which A is a set of symbols (the alphabet) and X is a non-empty prefix-closed subset of A* (the trace set). A process may be viewed as the specification of a mechanism:

  • -symbols correspond to events that may occur.

  • -traces correspond to sequences of events that may be observed when the mechanism is in operation.

In this paper we show how for a certain class of processes circuits can be derived that behave as prescribed by these processes. The circuits are delay-insensitive in the sense that their behaviour does not depend on delays in wires and switching elements.

Events may be initiated by a mechanism (active events) or by the environment of the mechanism (passive events). It is shown how active events can be transformed into passive events, and vice versa.

We show how the composition of processes corresponds to the composition of circuits.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hoare, C.A.R. Communicating Sequential Processes. Communications of the ACM 21 (1978); pp. 666–677.

    Google Scholar 

  2. Hoogerwoord, R.R. Some reflections on the implementation of trace structures. Computing Science Notes CS86/3. Department of Mathematics and Computing Science. Eindhoven University of Technology, 1986.

    Google Scholar 

  3. Kaldewaij, A. A Formalism for Concurrent Processes. Ph.D.-thesis. Eindhoven University of Technology, 1986.

    Google Scholar 

  4. Martin, Alain J. The Design of a Self-Timed Circuit for Distributed Mutual Exclusion. Proceedings 1985 Chapel Hill Conference on VLSI; ed H. Fuchs. Computer Science Press, Rockville, 1985; pp. 247–260.

    Google Scholar 

  5. Rem, Martin Concurrent Computations and VLSI Circuits. Control Flow and Data Flow: Concepts of Distributed Programming; ed. M. Broy. Springer, Berlin, 1985; pp. 399–437.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Anne Kaldewaij

Authors
  1. Anne Kaldewaij
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker A. J. Nijman P. C. Treleaven

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kaldewaij, A. (1987). The translation of processes into circuits. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds) PARLE Parallel Architectures and Languages Europe. PARLE 1987. Lecture Notes in Computer Science, vol 258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17943-7_129

Download citation

  • DOI: https://doi.org/10.1007/3-540-17943-7_129

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17943-6

  • Online ISBN: 978-3-540-47144-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation