Parametric channels via label expressions in CCS
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date1984/01/01
-
Journal
-
Indian UGC (journal)
-
Refrences9
-
Citations6
-
Egidio Astesiano
-
Elena Zucca
Cite
Astesiano, Egidio, and Elena Zucca. “Parametric Channels via Label Expressions in CCS”. Theoretical Computer Science, vol. 33, no. 1, 1984, pp. 45-63, https://doi.org/10.1016/0304-3975(84)90102-6.
Astesiano, E., & Zucca, E. (1984). Parametric channels via label expressions in CCS. Theoretical Computer Science, 33(1), 45-63. https://doi.org/10.1016/0304-3975(84)90102-6
Astesiano E, Zucca E. Parametric channels via label expressions in CCS. Theoretical Computer Science. 1984;33(1):45-63.
Journal Categories
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 |
|---|---|---|---|---|
| Calculi for synchrony and asynchrony | Theoretical Computer Science |
| 269 | 1983 |
Communicating sequential processes | Communications of the ACM |
| 1,535 | 1978 |
| Semantics of CSP via translation into CCS | 1981 | |||
| Semantics of distributed processes derived by translation | 1981 | |||
| A first attempt at translating CSP into CCS | 1981 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
On the Interactive Power of Higher-order Processes Extended with Parameterization | Formal Aspects of Computing |
| 2021 | |
| A Filter Model for Concurrent $\lambda$-Calculus | SIAM Journal on Computing |
| 1998 | |
On CCS with parametric relabelling | Formal Aspects of Computing |
| 1996 | |
| Elements of interaction | Communications of the ACM |
| 72 | 1993 |
A formal description of monitors by CCS | Systems and Computers in Japan | 1992 |
Citations Analysis
The category
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware 5
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled A formal description of monitors by CCS and was published in 1992. The most recent citation comes from a 2021 study titled On the Interactive Power of Higher-order Processes Extended with Parameterization. This article reached its peak citation in 1992, with 2 citations. It has been cited in 5 different journals. Among related journals, the Formal Aspects of Computing cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.