The following publications are possibly variants of this publication:
- A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]
- Rewriting logic as a logical and semantic frameworkNarciso Martí-Oliet, José Meseguer. ENTCS, 4:190-225, 1996. [doi]
- Reflective metalogical frameworksDavid A. Basin, Manuel Clavel, José Meseguer. tocl, 5(3):528-576, 2004. [doi]
- Rewriting Logic as a Semantic Framework for Concurrency: a Progress ReportJosé Meseguer. concur 1996: 331-372
- Rewriting Logic as a Unifying Framework for Petri NetsMark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. apn 2001: 250-303 [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]
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying FrameworkMark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. ENTCS, 44(4):140-162, 2001. [doi]