Page "Π-calculus" Paragraph 24
from
Wikipedia
Names are bound by the restriction and input prefix constructs.
Formally, the sets of free and bound names of a process in π – calculus are defined inductively as follows.
Page 1 of 1.
1.805 seconds.