Passivator

Specifications

Informal

A Passivator is a handshake component with two passive ports a and b. It synchronizes each handshake through a with a handshake through b.

XDI

Schematic diagram for Passivator PAS(a_0,a_1,b_0,b_1):

[Zoom|FIG]

XDI state graph for Passivator PAS(a_0,a_1,b_0,b_1):

[Zoom|FIG]

Specification in XDI model.

Verdect

No information available

DI Algebra

Specification in DI Algebra:


NAME = Passivator
I    = {a0?, b0?}
O    = {a1!, b1!}
PAS  = [a1! -> [b1! -> a0?;b0?;PAS, b0? -> CHAOS]
       ,b1! -> [a1! -> a0?;b0?;PAS, a0? -> CHAOS]
       ]

Also available through this link

Properties

XDI Report.

Implementations

DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

No information available

Passivator

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:41 1998