Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Search by expertise, name or affiliation
A Logical Theory of Concurrent Objects
José Meseguer
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Logical Theory of Concurrent Objects'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Associativity
16%
Axiomatization
16%
Commutativity
16%
Concurrent Computation
16%
Concurrent Object-oriented Programming
16%
Concurrent Objects
100%
Deduction
16%
Distributed Objects
16%
Formal Methods
16%
Functional Programming
16%
Logical Deduction
16%
Logical Theory
100%
Main Idea
16%
Maude
33%
New Language
16%
Object-oriented
50%
Rewriting Logic
33%
Rewriting Modulo
16%
Sublanguage
16%
Computer Science
Associativity
50%
Axiomatization
50%
Commutativity
50%
Concurrent Program
50%
Distributed Object
50%
Essential Aspect
50%
Functional Programming
50%
Object Oriented Programming
50%
Oriented Configuration
50%
Rewriting Logic
100%