The following publications are possibly variants of this publication:
- Reduction Semantics and Formal Analysis of Orc ProgramsMusab AlTurki, José Meseguer. ENTCS, 200(3):25-41, 2008. [doi]
- Real-time rewriting semantics of orcMusab AlTurki, José Meseguer. ppdp 2007: 131-142 [doi]
- Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]
- Rewriting Logic Semantics: From Language Specifications to Formal Analysis ToolsJosé Meseguer, Grigore Rosu. cade 2004: 1-44 [doi]
- A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]