| 2008 | ||
|---|---|---|
| 2 | EE | Musab AlTurki, José Meseguer: Reduction Semantics and Formal Analysis of Orc Programs. Electr. Notes Theor. Comput. Sci. 200(3): 25-41 (2008) |
| 2007 | ||
| 1 | EE | Musab AlTurki, José Meseguer: Real-time rewriting semantics of orc. PPDP 2007: 131-142 |
| 1 | José Meseguer | [1] [2] |