Ali E. Abdallah

2 published titles

Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers

(Contributor)

1 edition

Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : Revised invited papers

(Contributor)

1 edition