Verification of Shared-Reading Synchronisers
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2018/06/25
-
Indian UGC (journal)
-
Refrences25
-
Citations1
-
Afshin Amighi Hogeschool Rotterdam
-
Marieke Huisman University of Twente
-
Stefan Blom Better Be
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Impredicative Concurrent Abstract Predicates | 2014 | |||
| Resource Protection Using Atomics - Patterns and Verification | 2014 | |||
| Modular Reasoning about Separation of Concurrent Data Structures | 2013 | |||
| Concurrent Abstract Predicates | 2010 | |||
| Verification of Concurrent Programs with Chalice | 2009 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
Specifying concurrent programs in separation logic: morphisms and simulations | Proceedings of the ACM on Programming Languages |
| 7 | 2019 |
Citations Analysis
| Category | Category Repetition |
|---|---|
| Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software | 1 |
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 1
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Specifying concurrent programs in separation logic: morphisms and simulations and was published in 2019. The most recent citation comes from a 2019 study titled Specifying concurrent programs in separation logic: morphisms and simulations. This article reached its peak citation in 2019, with 1 citations. It has been cited in 1 different journals. Among related journals, the Proceedings of the ACM on Programming Languages cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.