Encyclopedia of Delay-Insensitive Systems (EDIS)

Guided Tours

We are working on guided tours that highlight EDIS features. We are now thinking of at least two tours:

A tour for those who are new to the field and quickly want to see the `most important' members of the family, such as the `basic' elements:
Another tour to show a member in `every corner', such as some `exotic' elements:
- E-Element (exhibiting static output nondeterminism, in the form of quiescent states where output is possible but not required)
- Nacking Arbiter (exhibiting order dependence, where the order between concurrently enabled inputs and output matters for the resulting state)
- One-All (exhibiting a specification that is output deterministic, e.g. no arbitration is involved, but for which no `simple' DI decomposition without arbiter is known)