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

# 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
```

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}]
```

Comparison of this specification and the XDI state graph.

## Properties

XDI Report.

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

## Implementations

### DI Decompositions

1. 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