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
Functorial semantics of rewrite theories
José Meseguer
Information Trust Institute
Siebel School of Computing and Data Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Functorial semantics of rewrite theories'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Functorial
100%
Rewrite Theory
100%
Model Theory
25%
Maude
25%
Concurrent Systems
25%
Concurrency Model
25%
Equational Theory
25%
Morphism
25%
Theory Morphism
25%
True Concurrency
25%
Rewrite Theory Specification
25%
Computer Science
Concurrency
100%
Concurrent System
100%
Equational Theory
100%