Semantics and applications of process and program algebra
Thuy Duong Vu · Data Archiving and Networked Services (DANS) · 2007
programs in PGLE and PGLS . . . . . . . . . . . . . . . . . . .8.3.1 Behavior extraction equations for labels and gotos . . . . . . . . . . .8.3.2Behavior extraction equations for conditional statements and while-loops145 8.3.3Representing flowcharts in PGLE . . . . . . . . . . . . . . . . . . . . .8.3.4Combining threads with additional boolean variables . . . . . . . . . .8.3.5 Behavioral equivalence with respect to additional variables . . . . . .8.4 Eliminating gotos using additional variables . . . . . . . . . . . . .