The Temporal Logic of Rewriting: A Gentle Introduction
From MaRDI portal
Publication:3507374
DOI10.1007/978-3-540-68679-8_22zbMath1143.68459OpenAlexW1599831144MaRDI QIDQ3507374
Publication date: 19 June 2008
Published in: Concurrency, Graphs and Models (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_22
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (13)
Algebraic simulations ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Two Decades of Maude ⋮ Twenty years of rewriting logic ⋮ Compositional Specification in Rewriting Logic ⋮ A Spatial Logic for Simplicial Models ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ Strategies, model checking and branching-time properties in Maude ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting ⋮ Unnamed Item ⋮ Programming and symbolic computation in Maude ⋮ TAGED Approximations for Temporal Properties Model-Checking ⋮ Egalitarian State-Transition Systems
Uses Software
This page was built for publication: The Temporal Logic of Rewriting: A Gentle Introduction
