GitHub topics: async-finish
pushpsood/ParallelConcurrentDistributedProgrammingConcepts
Resources and projects to get started with parallel, concurrent, and distributed programming.
Language: Java - Size: 40.9 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
cogumbreiro/habanero-coq
Coq formalization of the Habanero programming model.
Language: Coq - Size: 1020 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
Related Keywords
async-finish
2
phaser
2
synchronization
1
parallel-computing
1
habanero-coq
1
formalization
1
formal-verification
1
coq-formalization
1
coq
1
parallel-programming
1
locks
1
linearization
1
futures
1
fork-join-framework
1
determinism
1
datarace
1
concurrent-programming
1
atomic-variables
1
actor-framework
1