@inproceedings{d5e903047acd4455b6fea5b574265fd5,
title = "Normal Form in a Delay-Insensitive Algebra",
abstract = "A process algebra is given for specifying delay-insensitive processes. We show in two steps that expressions in this algebra have a normal form, as a consequence of which the algebra is complete. First, the number of operators in process expressions is reduced by a set of rewrite laws. The resulting expressions are in a so-called pre-normal form. Secondly, we introduce some additional laws to transform a process from its pre-normal form to its normal form.",
keywords = "VLSI SYSTEMS, SPECIFYING AND VERIFYING AND REASONING ABOUT PROGRAMS, EXPRESSIONS AND THEIR REPRESENTATION",
author = "R Groenboom and MB Josephs and PG Lucassen and JT Udding",
year = "1993",
language = "English",
isbn = "978-0-444-81599-6",
series = "IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY",
publisher = "North-Holland Publishing Company",
pages = "57--70",
editor = "S Furber and M Edwards",
booktitle = "Asynchronous Design Methodologies",
note = "IFIP WG10.5 Working Conference on Asynchronous Design Methodologies ; Conference date: 31-03-1992 Through 02-04-1992",
}