Connector

Specifications

A Connector is handshake component with one passive port a and one active ports b. Each handshake through a encloses a handshake through port b.

Schematic diagram for Connector:

[Zoom|FIG]

XDI state graph for Connector:

Specification in Verdect:


define CON( a0?, a1!, b0!, b1? ) =
	pref *[ a0?; b0!; b1?; a1! ]
end

Also available through this link

Specification in DI Algebra:

NAME = "Connector"
I    = { a0?, b1? }
O    = { a1!, b0! }
CONa  = [a0? -> b0!;[b1? -> a1!;CONa, a0? -> CHAOS], b1? -> CHAOS]

Also available through this link

No information available

No information available

No information available

No information available