The top documents tagged [recursive specifications]

frbclv_wp1990-16.pdf

Section 6

Process Algebra (2IF45) Abstraction and Recursions in Process Algebra

Process Algebra (2IF45) Expressiveness of BPA rec