EDIS | Guide | FAQ | New | Search | Bibliography | Index | Feedback | About |
[EDIS Logo]

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.

  1. We will deal with it thoroughly, presenting the formal framework.
  2. We will compare it with other models: e.g. Receptive Process Theory, XDI-model, thus providing the proper context.
  3. 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 [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