Malik Khalfallah: A Formal Framework for Process Interoperability in Dynamic Collaboration Environments. (Un cadre formel pour l'interopérabilité des processus dans les environnements collaboratifs dynamiques). Claude Bernard University Lyon 1, France 2014