Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
Farzan, Azadeh; Meseguer, José Partial order reduction for rewriting semantics of programming languages. (English) Zbl 1279.68207 Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 61-78 (2007). MSC: 68Q60 68N15 68Q42 68Q55 PDFBibTeX XMLCite \textit{A. Farzan} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 61--78 (2007; Zbl 1279.68207) Full Text: DOI
Olveczky, Peter Csaba; Meseguer, Jose Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. (English) Zbl 0962.68109 Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{P. C. Olveczky} and \textit{J. Meseguer}, in: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000. Amsterdam: Elsevier. 22 p. (2000; Zbl 0962.68109)
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F. Towards Maude 2. 0. (English) Zbl 0962.68108 Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{M. Clavel} et al., in: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000. Amsterdam: Elsevier. 22 p. (2000; Zbl 0962.68108)
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide An introduction to OBJ 3. (English) Zbl 0666.68010 Conditional term rewriting systems, 1st Int. Workshop, Orsay/France 1987, Lect. Notes Comput. Sci. 308, 258-263 (1988). Reviewer: T.Tammet MSC: 68N01 68T15 68Q60 PDFBibTeX XML
Kirchner, Claude; Kirchner, Hélène; Meseguer, José Operational semantics of OBJ-3. (English) Zbl 0649.68028 Automata, languages and programming, Proc. 15th Int. Colloq., Tampere/Finn. 1988, Lect. Notes Comput. Sci. 317, 287-301 (1988). MSC: 68Q65 68T15 68Q60 08B05 PDFBibTeX XML
Goguen, Joseph; Kirchner, Claude; Meseguer, José Concurrent term rewriting as a model of computation. (English) Zbl 0639.68027 Graph reduction, Proc. Workshop, Santa Fé/N.M. 1986, Lect. Notes Comput. Sci. 279, 53-93 (1987). MSC: 68Q65 68N25 68N01 68Q60 PDFBibTeX XML