Formalization of Habanero phasers using Coq (Q2360652)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6739074
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formalization of Habanero phasers using Coq |
scientific article; zbMATH DE number 6739074 |
Statements
Formalization of Habanero phasers using Coq (English)
0 references
4 July 2017
0 references
phasers
0 references
barriers
0 references
Coq
0 references
synchronization
0 references
formalization
0 references
0 references
0.7521234750747681
0 references
0.6748412847518921
0 references
