 | Up a level |
Abouzaid, F., Mullins, J., Mazzara, M., & Dragoni, N. (2012, June). Modelling and analysis of dynamic reconfiguration in BP-calculus [Paper]. 6th KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2012), Dubrovnik, Croatia. External link
Abouzaid, F., & Mullins, J. (2008, September). Formal Specification of Correlation in WS Orchestrations Using BP-calculus [Paper]. 5th International Workshop on Formal Aspects of Component Software (FACS 2008), Malaga, Spain. Published in Electronic Notes in Theoretical Computer Science, 260. External link
Abouzaid, F., & Mullins, J. (2009, July). Model-checking Web Services Orchestrations using BP-calculus [Paper]. 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), Rhodes, Greece. Published in Electronic Notes in Theoretical Computer Science, 255. External link
Abouzaid, F., & Mullins, J. (2007, December). A Calculus for Generation, Verification and Refinement of BPEL Specifications [Paper]. 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), Venice, Italy. Published in Electronic Notes in Theoretical Computer Science, 200(3). External link
Mazzara, M., Abouzaid, F., Dragoni, N., & Bhattacharyya, A. (2011, September). Toward design, modelling and analysis of dynamic workflow reconfigurations: A process algebra perspective [Paper]. 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, Clermont-Ferrand, France. External link
Mazzara, M., Abouzaid, F., Dragoni, N., & Bhattacharyya, A. (2011, June). Design, modelling and analysis of a workflow reconfiguration [Paper]. International Workshop on Petri Nets and Software Engineering 2011, PNSE 2011, Newcastle upon Tyne, United kingdom. Unavailable
