One-All

Specifications

Informal

A One-All has two input terminals (a and b) and two output terminals (c and d). After receiving input on one of its input terminals, the One-All produces output on terminal c, after having received input on both its input terminals it produces output on terminal d.

XDI

Schematic diagram for a One-All:

[Zoom|FIG]

XDI state graph for a One-All:

[Zoom|FIG]

Specification in XDI model.

Verdect

DI Algebra

Specification in DI Algebra:

I = {a?, b? }
O = {c!, d! }

OA  = [a? -> c!;OAA
      ,b? -> c!;OAB
      ]
OAA = [b? -> [d! -> OA, else -> CHAOS], else -> CHAOS]
OAB = [a? -> [d! -> OA, else -> CHAOS], else -> CHAOS]

Also available through this link