Adel Khaled

According to our database, Adel Khaled authored at least 3 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies.

Adel Khaled, James Miller

IEEE Trans. Serv. Comput., 2017

2010

Chronological fault-based mutation processes for WS-BPEL 2.0 programs.

Adel Khaled, James Miller

Int. J. Web Eng. Technol., 2010

2008

A Service Oriented Architecture for CAX concurrent collaboration.

Adel Khaled, Yongsheng Ma, James Miller

Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008