Specification in Verdect:
define F( a?, b!, c! ) = pref *[ a?; (b! || c!) ] endAlso 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...