Skip to main navigation
Skip to search
Skip to main content
Technion - Israel Institute of Technology Home
Help & Support
Link opens in a new tab
Search content at Technion - Israel Institute of Technology
Home
Researchers
Faculties
Research output
A complete rule for equifair termination
Orna Grumberg
, Nissim Francez
,
Shmuel Katz
Computer Science
Technion - Israel Institute of Technology
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A complete rule for equifair termination'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Concurrency
100%
Scheduling Policy
100%
Nondeterminism
100%
Proof Rules
100%
Enabled Process
100%
Computer Science
Concurrency
100%
Scheduling Policy
100%
Nondeterminism
100%
Proof
100%
Mathematics
Nondeterminism
100%