EDIS |
Guide |
FAQ |
New |
Search |
Bibliography |
Index |
Feedback |
About |

# DI Algebra

DI Algebra specifications used in this
Encyclopedia are in a format that can be handled by
DIGG
(DI Graph Generator) that produces a state graph
in AND/IF.
*DI Algebra will be treated here.
*

*
*- We will deal with it thoroughly, presenting the formal framework.
- We will compare it with other models:
e.g. Receptive Process Theory, XDI-model, thus providing the proper context.
- We will provide practical material, including an overview of
currently available tools for DI Algebra.

*
**
For now, this information can be found by following the references below.
*

## References

See [Josephs90a,
Josephs93a].
See [Lucassen94] for
channel notation and composition theorems.
Look at the
ARGG Bibliography for more recent publications on DI Algebra.

###### Last modified at Mon Oct 26 15:43:13 1998

Encyclopedia of Delay-Insensitive Systems

Copyright © 1995-1998
Tom Verhoeff /
Tom.Verhoeff@acm.org

Disclaimer