Synchronous Realization of Asynchronous Computations

Hans Henrik Løvengreen; Jørgen Staunstrup; V. Stavridou; T. Melham

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 proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
Publisher	Elsevier
Publication date	1992
Publication status	Published - 1992
Event	IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience - Duration: 1 Jan 1992 → …

Conference

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

OpenUrl availability

Full text

Cite this

@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",

note = "IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience ; Conference date: 01-01-1992",

}

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) et al.

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 proceeding › Article in proceedings › Research › peer-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

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

Y2 - 1 January 1992

ER -