Specifying and Verifying Business Processes Using PPML.

Germn Regis, Nazareno Aguirre, T. S. E. Maibaum

Browse the full ICFEM paper archive.