Rusty Variation: Deadlock-free Sessions with Failure in Rust
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2019/09/12
-
Indian UGC (journal)
-
Refrences14
-
Citations1
-
Wen Kokke University of Edinburgh
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Session types revisited | Information and Computation |
| 20 | 2017 |
RustBelt: securing the foundations of the Rust programming language | Proceedings of the ACM on Programming Languages |
| 78 | 2017 |
| Lightweight Session Programming in Scala | 2016 | |||
| Propositions As Sessions | 2012 | |||
Linear type theory for asynchronous session types | Journal of Functional Programming |
| 1 | 2009 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Session Types for the Transport Layer: Towards an Implementation of TCP | Electronic Proceedings in Theoretical Computer Science |
| 2024 |
Citations Analysis
| Category | Category Repetition |
|---|---|
| Science: Mathematics: Instruments and machines: Electronic computers. Computer science | 1 |
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Session Types for the Transport Layer: Towards an Implementation of TCP and was published in 2024. The most recent citation comes from a 2024 study titled Session Types for the Transport Layer: Towards an Implementation of TCP. This article reached its peak citation in 2024, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.