Skip to main navigation
Skip to search
Skip to main content
University of Illinois Urbana-Champaign 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
Engineering & Materials Science
Communication
37%
Formal methods
87%
Functional programming
100%
Object oriented programming
86%