Referenced Items are not available for this document.
DI-algebra is a process algebra for delay-insensitive processes. Like in most process algebras, a normal form for finite expressions can be defined. Unlike most process algebras, however we show that we can also define a normal form for recursive expressions. This is done by first eliminating operators using the laws of the algebra and then minimizing cycles in a state graph
Published in:
Advanced Research in Asynchronous Circuits and Systems, 1997. Proceedings., Third International Symposium on
Date of Conference: 7-10 Apr 1997
- Page(s):
- 167 - 174
- Meeting Date :
- 07 Apr 1997-10 Apr 1997
- Print ISBN:
- 0-8186-7922-0
- INSPEC Accession Number:
- 5572989
- Conference Location :
- Eindhoven
- Digital Object Identifier :
- 10.1109/ASYNC.1997.587172
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
