Author:
Abouzaid Faisal,Mullins John
Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. Web Services: Concepts, Architectures and Applications;Alonso,2004
2. Chirichiello, A. and G. Salan, Encoding abstract descriptions into executable web services: Towards a formal development, in: 2005 IEEE/WIC/ACM International Conference on Web Intelligence WI'2005, Compine, France, 2005
3. Ferrara, A., Web services: a process algebra approach,, in: Proceedings of the 2nd international conference on Service oriented computing, New York, NY, USA, 2004, pp. 242–251
4. An automata based verification environment for mobile processes;Ferrari,1997
5. Ferrari, G., S. Gnesi, U. Montanari and M. Pistore, A model checking verification environment for mobile processes, Technical report, Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell'Informazione ‘A. Faedo’ (2003)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Modelling Process Aspects With Deontic Event-Calculus;International Journal of Service Science, Management, Engineering, and Technology;2022-02-10
2. Compliance Management in Business Processes;Digital Business;2018-07-27
3. Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies;IEEE Transactions on Services Computing;2017-03-01
4. Towards a Comprehensive Formal Model for Business Processes;Communications in Computer and Information Science;2016
5. Toward the Formalization of BPEL;Service-Oriented Computing – ICSOC 2015 Workshops;2016