1. Formal specification of correlation in WS orchestrations using BP-calculus;Abouzaid,2010
2. Formal specification and analysis of timing properties in software systems;AlTurki,2009
3. Real-time rewriting semantics of Orc;AlTurki,2007
4. Rewriting logic semantics of Orc;AlTurki,2007
5. Reduction semantics and formal analysis of Orc programs;AlTurki;Electron. Notes Theor. Comput. Sci.,2008