Login / Signup
Adel Khaled
Publication Activity (10 Years)
Years Active: 2008-2017
Publications (10 Years): 1
Top Topics
Provably Correct
Concurrent Systems
Formal Verification
Mathematical Theory
Top Venues
IEEE Trans. Serv. Comput.
</>
Publications
</>
Adel Khaled
,
James Miller
Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies.
IEEE Trans. Serv. Comput.
10 (2) (2017)
Adel Khaled
,
James Miller
Chronological fault-based mutation processes for WS-BPEL 2.0 programs.
Int. J. Web Eng. Technol.
6 (2) (2010)
Adel Khaled
,
Yongsheng Ma
,
James Miller
A Service Oriented Architecture for CAX concurrent collaboration.
CASE
(2008)