The Temporal Logic of Rewriting: A Gentle Introduction
From MaRDI portal
Publication:3507374
DOI10.1007/978-3-540-68679-8_22zbMath1143.68459MaRDI 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
Related Items
Unnamed Item, Compositional Specification in Rewriting Logic, A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting, Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way), A Spatial Logic for Simplicial Models, Comparing three coordination models: Reo, ARC, and PBRD, Algebraic simulations, Twenty years of rewriting logic, Strategies, model checking and branching-time properties in Maude, Programming and symbolic computation in Maude, Egalitarian State-Transition Systems, Two Decades of Maude, TAGED Approximations for Temporal Properties Model-Checking
Uses Software