A model for recursive-parallel programs
Olga Kouchnarenko, Ph. Schnoebelen · Electronic Notes in Theoretical Computer Science · 1997
We define a formal model for a class of recursive-parallel systems with specific invocation and synchronization primitives. This original model is infinite-state but can still be analyzed successfully using the “well-structured transition systems” approach.