1 Recur
0org
IFIP WCC 2010, Brisbane, cdk
Expansion of LOTOS behaviour expressions as an exercise in transformational design