PAR-Element

Specifications

Informal

A PAR-Element is a handshake component with three 2-phase handshake ports, one passive and two active. A request on the passive port brings about handshakes on both of the active ports in parallel. When both active ports have received acknowledgments, the passive port is acknowledged.

XDI

Schematic diagram for a PAR-Element:

[Zoom|FIG]

XDI state graph for a PAR-Element:

[Zoom|FIG]

Specification in XDI model.

Verdect

Specification in Verdect:


define PAR( ar?, aa!, br!, ba?, cr!, ca? ) =
       pref *[ ar?; ((br!; ba?) || (cr!; ca?)); aa! ]
end

Also available through this link

Comparison of this specification and the XDI state graph.

DI Algebra

Specification in DI Algebra:

NAME = "PAR Element (DIAL)"
I = { ar?, ba?, ca? }
O = { aa!, br!, cr! }
PAR = ar?; br!; cr!; ba?; ca?; aa!; PAR
[{ar},{aa}]
[{br},{ba}]
[{cr},{ca}]

Also available through this link

Comparison of this specification and the XDI state graph.

Properties

XDI Report.

PAR(a; b, c) = PAR(a; c, b)

Implementations

DI Decompositions

A PAR-Element can be implemented with a Fork and a Join (not equ): Implementation description.

[Zoom|FIG]

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

The PAR-Element can be generalized to a k-PAR-Element, which does k active handshakes in parallel (k>0). A PAR-Element is a 2-PAR-Element.

Miscellaneous

No information available

PAR-Element

Specifications

Informal

XDI

Verdect

DI Algebra

Properties

Implementations

DI Decompositions

Using Boolean Gates

Using Transistors

Generalizations

Miscellaneous

References

Last modified at Fri Nov 20 10:11:40 1998