

Specification in Verdect:
define F( a?, b!, c! ) =
pref *[ a?; (b! || c!) ]
end
Also available through this link
Specification in DI Algebra:
NAME = fork
I = {a?}
O = {b!, c!}
F = a?;b!;c!;F
.
Also available through this link
The roles of outputs b and c can be interchanged:
F(a; b, c) =
F(a; c, b)
No information available
No information available
In [Ebergen89, Section 2.2.4, p. 31], the Fork is referred to as FORK component.
Something about isochronic Forks, symmetric, asymmetric...