für P∈Proc(Σ): Menge der von P aus durch Folgen von a- und τ-Schritten erreichbaren Prozesse (Terme) ist endlich,
μP.(…P…)
einfache Lösung: Einschränkung auf End-Rekursion
μP.(...P)
vergleiche: rechtslineare Grammatiken