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




An mxn-Decision-Wait (m>0, n>0) has m+n input terminals a_i (0<=i<m) and b_j (0<=j<n), and mn output terminals c_i_j. It waits for a signal on one of the a inputs and a signal on one of the b inputs. The environment has to guarantee mutual exclusion on the a-inputs and also the b-inputs. Having received input signals on a_i (0 >=i > m) and b_j (0 >=j > n) it produces a signal on output terminal c_ij.


Schematic diagram for an mxn-Decision-Wait:



Parameterized definitions are not possible in VERDECT, but this sketch gives the general idea:

Specification in Verdect:

define JOINMXN( a0?,.., a(m-1)?, b0?, ..,b(n-1)?, c00!,.., c(m-1)(n-1)! ) =
       pref *[ (a0? || b0?); c00!
             | (a(m-1)? || b(n-1)?); c(m-1)(n-1)!
Also available through this link

DI Algebra

The specification of the 3x2-Decision-Wait is as follows:

Specification in DI Algebra.

. (Not available for general m and n.)


XDI Report for the 3x2-Decision-Wait.

The mxn-Decision-Wait is very symmetric. The roles of subscripts can be interchanged, independently on both a and on b, and also the roles of a and b can be interchanged, provided that the c outputs are permuted accordingly.

The mxn-Decision-Wait satisfies Rules Y' and Z^out, but not Z^in (choice between a inputs, and also between b inputs).


DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

No information available


No information available


In [Dickson74, p. 48], the mxn-Decision-Waits are referred to as Decision Rendezvous.

In [Molnar74, Part 1, Volume III, p. 13], the mxn-Decision-Waits are referred to as D Elements.

In terms of [Ebergen89, p. 88], the mxn-Decision-Wait are CAL components.


[Dickson74, p. 48]
[Ebergen89, p. 88]
[Molnar74, Part 1, Volume III, p. 13]

Last modified at Fri Nov 20 10:11:40 1998
Encyclopaedia of Delay-Insensitive Systems
Copyright © 1995-1998 Tom Verhoeff / Tom.Verhoeff@acm.org