Synchronous Realization of Asynchronous Computations

Hans Henrik Løvengreen, Jørgen Staunstrup, V. Stavridou (Editor), T. Melham (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationIFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
    PublisherElsevier
    Publication date1992
    Publication statusPublished - 1992
    EventIFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience -
    Duration: 1 Jan 1992 → …

    Conference

    ConferenceIFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
    Period01/01/1992 → …

    Cite this

    Løvengreen, H. H., Staunstrup, J., Stavridou, V. (Ed.), & Melham, T. (Ed.) (1992). Synchronous Realization of Asynchronous Computations. In IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience Elsevier.
    Løvengreen, Hans Henrik ; Staunstrup, Jørgen ; Stavridou, V. (Editor) ; Melham, T. (Editor). / Synchronous Realization of Asynchronous Computations. IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience. Elsevier, 1992.
    @inproceedings{6c8104aee8a0447babca19baa35e96ba,
    title = "Synchronous Realization of Asynchronous Computations",
    author = "L{\o}vengreen, {Hans Henrik} and J{\o}rgen Staunstrup and V. Stavridou and T. Melham",
    year = "1992",
    language = "English",
    booktitle = "IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience",
    publisher = "Elsevier",
    address = "United Kingdom",

    }

    Løvengreen, HH, Staunstrup, J, Stavridou, V (ed.) & Melham, T (ed.) 1992, Synchronous Realization of Asynchronous Computations. in IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience. Elsevier, IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, 01/01/1992.

    Synchronous Realization of Asynchronous Computations. / Løvengreen, Hans Henrik; Staunstrup, Jørgen; Stavridou, V. (Editor); Melham, T. (Editor).

    IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience. Elsevier, 1992.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    TY - GEN

    T1 - Synchronous Realization of Asynchronous Computations

    AU - Løvengreen, Hans Henrik

    AU - Staunstrup, Jørgen

    A2 - Stavridou, V.

    A2 - Melham, T.

    PY - 1992

    Y1 - 1992

    M3 - Article in proceedings

    BT - IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience

    PB - Elsevier

    ER -

    Løvengreen HH, Staunstrup J, Stavridou V, (ed.), Melham T, (ed.). Synchronous Realization of Asynchronous Computations. In IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience. Elsevier. 1992