Formalization of Habanero phasers using Coq
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2017/08/01
-
Indian UGC (journal)
-
Refrences19
-
Citations3
-
Tiago Cogumbreiro
-
Jun Shirako
-
Vivek Sarkar
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
Why logical clocks are easy | Communications of the ACM |
| 4 | 2016 |
| Detecting causal relationships in distributed computations: in search of the holy grail | Distributed Computing |
| 1994 | |
Time, clocks, and the ordering of events in a distributed system | Communications of the ACM |
| 2,091 | 1978 |
| Semantics of (resilient) x10 | 2014 | |||
| Improving the performance of X10 programs by Clock removal | 2014 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems | Journal of Systems Architecture |
| 6 | 2020 |
Efficient lock‐step synchronization in task‐parallel languages | Software: Practice and Experience |
| 2019 | |
Dynamic Deadlock Verification for General Barrier Synchronisation | ACM Transactions on Programming Languages and Systems |
| 2 | 2018 |
Citations Analysis
The category
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware 3
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Dynamic Deadlock Verification for General Barrier Synchronisation and was published in 2018. The most recent citation comes from a 2020 study titled Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. This article reached its peak citation in 2020, with 1 citations. It has been cited in 3 different journals. Among related journals, the Journal of Systems Architecture cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.