//-->
A semantical framework to engineering WSBPEL processes
Rouached, Mohsen, (2009)
A contract layered architecture for regulating cross-organisational business processes
Rouached, Mohsen, (2005)
Towards formal verification of Web service composition
Rouached, Mohsen, (2006)