<> "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 state space reduction technique.\r\nThe rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer\r\nfunction, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in\r\nthe definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization\r\nof the reduction infrastructure via Maude's meta-programming\r\nfeatures. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools."^^ . "2011" . . . . . . . . . . . . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "José"^^ . "Meseguer"^^ . "José Meseguer"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . . . . . "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"^^ . . "HTML Summary of #1012 \n\nState space c-reductions for concurrent systems in rewriting logic\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .