Skip to main navigation
Skip to search
Skip to main content
University of Haifa Home
Update your profile
Link opens in a new tab
Search content at University of Haifa
Home
Researchers
Research units
Research output
Using true concurrency to model execution of parallel programs
Yosi Ben-Asher
, Eitan Farchi
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Using true concurrency to model execution of parallel programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Total Order
100%
Time Diagrams
100%
True Concurrency
100%
Parallel Programming
100%
Model Execution
100%
Parallel Execution
75%
Derivation Rules
50%
Three-class
25%
Parallelization
25%
Partial Order
25%
Model Parallel
25%
Asynchronous Programs
25%
Serialization
25%
Program Verification
25%
Writing Rules
25%
Computer Science
Execution Model
100%
Concurrency
100%
Parallel Program
100%
Parallel Execution
75%
Derivation Rule
50%
Parallelism
25%
Partial Order
25%
Program Verification
25%