Formalization and analysis of timed BPEL.

Imed Eddine Chama, Nabil Belala, Djamel-Eddine Sadouni

Browse the full IRI paper archive.