@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 = "0-444-81599-6",

series = "IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY",

publisher = "Elsevier",

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

}