Encyclopedia of Delay-Insensitive Systems (EDIS)

Index

Hyperlinks in this Index refer to the named document, except when preceded by see, in which case they refer to other entries in the Index.

A

AND/IF

E-mail processor

Arbiter

Nacking Arbiter

RGD Arbiter

RGDA Arbiter

Also see Interlock Element, Mixer, Mutual-Exclusion Element, and Sequencer

B

Bibliography

Branch (macromodule), see Fork

C

Call, (non-arbitrating and blocking macromodule)

k-Call

Also see Decision Call

C-Element

See Join

Challenges

Chaos

Complementer

2-of-3 Complementer

Connector (handshake component)

Converter

2-Phase to 4-Phase Converter

4-Phase to 2-Phase Converter

D

Decision Call (macromodule)

mxn-Decision Call (macromodule)

Decision Rendezvous (macromodule), see Decision-Wait

Decision-Wait

mxn-Decision-Wait

Partial Decision-Wait

DI Algebra

DI Wait-on

E

E-Element (handshake component)

Empty System

F

Factorization

Fairness

First-Rest Discriminator

Fork

k-Fork

Forked Join

Frequently Asked Questions

G

H

Handshake Component

I

Interlock Element (macromodule)

Also see Arbiter

I-Wire

J

Join

k-Join

Resettable Join

K

L

Latch

k-Latch

M

Mailing List, for EDIS

Merge

4-Phase Merge

k-Merge

4-Phase k-Merge

Miracle

Mixer, (arbitrating and blocking handshake component),

Non-Blocking Mixer

Non-Blocking Non-Receptive Mixer (non-arbitrating)

Non-Receptive Mixer (non-arbitrating and blocking)

Also see Arbiter

Modulo-N Counter

Multiplexer, see Call and Mixer

Mutual-Exclusion Element

Also see Arbiter

N

Nacking Arbiter

ndf (filename extension for AND/IF files), see AND/IF

Non-Receptive Mixer (non-arbitrating and blocking)

O

One-All

OR-Element (handshake component)

P

Passivator (handshake component)

PAR-Element (handshake component)

Partial Decision-Wait, see Decision-Wait

Pattern Generator

Petri Nets

Port

Q

Quick-Return Linkage

R

Repeater (handshake component)

Resettable Join, see Join

RGD Arbiter

RGDA Arbiter

S

Schematic Diagram

Select

Selector

SEQ-Element (handshake component)

Sequencer (arbitrating)

k-Sequencer

Also see Arbiter; SEQ-Element (handshake component)

Sink

Zero Sink

One-Time Sink

Source

Active Source

Passive Source

State Graph (in XDI Model)

State Machine

Stop (handshake component)

T

Terminator, see Sink and Source

Test-and-set

Toggle

k-Toggle

U

V

Variable

1-Bit Variable (handshake component, undetermined initial value)

Initialized 1-Bit Variable (handshake component)

Initialized Non-Receptive 1-Bit Variable

Non-Receptive 1-Bit Variable (undetermined initial value)

VERDECT

W

Wait-on, see DI Wait-on

Wire

Also see I-Wire

X

xdi (filename extension for XDI files), see XDI Model

XDI Model

XOR Component, see Merge

Y

Z

Last modified at Fri Nov 20 15:36:51 1998