scientific article
From MaRDI portal
Publication:2722043
zbMath0966.68123MaRDI QIDQ2722043
Isabel Pita, Thomas S. E. Maibaum, José Meseguer, José Luiz Fiadeiro, Narciso Martí-Oliet
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Rewriting logic: Roadmap and bibliography, A semantic framework for open processes, A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting, A Maude specification of an object-oriented model for telecommunication networks, Actor theories in rewriting logic
