Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Link opens in a new tab
Search content at Illinois Experts
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Rewriting logic and maude: Concepts and applications
José Meseguer
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Rewriting logic and maude: Concepts and applications'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Concurrency Model
16%
Concurrent Systems
16%
Distributed Systems
16%
Dynamic Interpretation
16%
Equational Reasoning
16%
General Formalism
16%
Inference Rules
16%
Language System
16%
Local Transitions
16%
Logic Language
16%
Logical Frameworks
33%
Main Concepts
16%
Maude
100%
Rewrite Rules
66%
Rewriting Logic
100%
Semantic Framework
33%
Specification Validation
16%
Computer Science
Concurrency
16%
Concurrent System
16%
Distributed System
16%
Inference Rule
16%
Logic Language
16%
Logical Framework
33%
Rewrite Rule
66%
Rewriting Logic
100%