<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "State space c-reductions for concurrent systems in rewriting logic"^^ . "We present c-reductions, a simple, flexible and very general state space reduction technique that exploits an equivalence relation on states that is a bisimulation. Reduction is achieved by a canonizer function, which maps each state into a not necessarily unique canonical representative of its equivalence class. The approach contains symmetry reduction and name reuse and name abstraction as special cases, and exploits the expressiveness of rewriting logic and its realization in Maude\r\nto automate c-reductions and to seamlessly integrate model checking and the discharging of correctness proof obligations. The performance of the approach has been validated over a set of representative case studies."^^ . "2012" . . . "7635" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "José"^^ . "Meseguer"^^ . "José Meseguer"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . . . . . "State space c-reductions for concurrent systems in rewriting logic (PDF)"^^ . . . . . "Lluch-lafuente_Meseguer_Vandin_2011.pdf"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (PDF)"^^ . . . "icfem2012.pdf"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Other)"^^ . . . . . . "preview.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Other)"^^ . . . . . . "medium.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Other)"^^ . . . . . . "small.jpg"^^ . . . "State space c-reductions for concurrent systems in rewriting logic (Other)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #1293 \n\nState space c-reductions for concurrent systems in rewriting logic\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .