Skip to main navigation
Skip to search
Skip to main content
Augusta University Research Profiles Home
Help & FAQ
Home
Profiles
Research units
Equipment
Grants
Scholarly Output
Datasets
Activities
Prizes
Search by expertise, name or affiliation
On the refinement of liveness properties of distributed systems
Paul C. Attie
Research output
:
Contribution to journal
›
Article
›
peer-review
2
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On the refinement of liveness properties of distributed systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Liveness
100%
Distributed Systems
85%
Refinement
64%
Automata
27%
Abstraction
13%
Simulation
7%
Reasoning
5%
History
5%
Express
5%
State Space
5%
Completeness
5%
Robustness
5%
Generalise
3%
Engineering & Materials Science
Refining
71%
Concretes
24%