DI Algebra specifications used in this
Encyclopedia are in a format that can be handled by
(DI Graph Generator) that produces a state graph
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.
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 /