Class information for: |
Basic class information |
| Class id | #P | Avg. number of references |
Database coverage of references |
|---|---|---|---|
| 13930 | 804 | 22.9 | 27% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
Terms with highest relevance score |
| rank | Term | termType | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|---|
| 1 | ASSUME GUARANTEE REASONING | authKW | 279044 | 2% | 57% | 13 |
| 2 | TEMPORAL LOGIC OF ACTIONS | authKW | 243055 | 1% | 80% | 8 |
| 3 | COMPOSITIONAL REASONING | authKW | 240103 | 2% | 45% | 14 |
| 4 | MULTIPARTY INTERACTION | authKW | 199874 | 1% | 53% | 10 |
| 5 | COMMITTEE COORDINATION | authKW | 158240 | 1% | 83% | 5 |
| 6 | INVARIANCE UNDER STUTTERING | authKW | 151912 | 0% | 100% | 4 |
| 7 | THREAD BASED CONCURRENCY | authKW | 151912 | 0% | 100% | 4 |
| 8 | LIVENESS PROPERTIES | authKW | 124054 | 1% | 47% | 7 |
| 9 | RELY GUARANTEE | authKW | 105163 | 1% | 46% | 6 |
| 10 | OBSERVABLE BEHAVIOR | authKW | 86803 | 0% | 57% | 4 |
Web of Science journal categories |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | Computer Science, Theory & Methods | 36222 | 58% | 0% | 467 |
| 2 | Computer Science, Software Engineering | 22241 | 38% | 0% | 309 |
| 3 | Computer Science, Information Systems | 3266 | 17% | 0% | 136 |
| 4 | Computer Science, Hardware & Architecture | 1934 | 9% | 0% | 72 |
| 5 | Logic | 631 | 2% | 0% | 16 |
| 6 | COMPUTER APPLICATIONS & CYBERNETICS | 125 | 0% | 0% | 3 |
| 7 | Computer Science, Artificial Intelligence | 66 | 3% | 0% | 24 |
| 8 | Engineering, Electrical & Electronic | 65 | 8% | 0% | 64 |
| 9 | Mathematics, Applied | 62 | 5% | 0% | 39 |
| 10 | Computer Science, Interdisciplinary Applications | 10 | 2% | 0% | 13 |
Address terms |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | SOFTWARE SECUR | 85449 | 0% | 75% | 3 |
| 2 | CHAIR PRACT COMP SCI 2 | 37978 | 0% | 100% | 1 |
| 3 | CUPERTINO SYST | 37978 | 0% | 100% | 1 |
| 4 | CYBERNET COMP RD | 37978 | 0% | 100% | 1 |
| 5 | DCST | 37978 | 0% | 100% | 1 |
| 6 | DISTRIBUTED GRP | 37978 | 0% | 100% | 1 |
| 7 | HUELVA LA RABIDA | 37978 | 0% | 100% | 1 |
| 8 | INFORMAT LA SALLE | 37978 | 0% | 100% | 1 |
| 9 | LEHR FOR GEBIET INFORMAT 4 | 37978 | 0% | 100% | 1 |
| 10 | LENGUAJES SISTEMAS INFORMDT | 37978 | 0% | 100% | 1 |
Journals |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 55834 | 5% | 4% | 37 |
| 2 | SCIENCE OF COMPUTER PROGRAMMING | 51984 | 6% | 3% | 47 |
| 3 | DISTRIBUTED COMPUTING | 40947 | 3% | 4% | 25 |
| 4 | LECTURE NOTES IN COMPUTER SCIENCE | 33953 | 35% | 0% | 281 |
| 5 | FORMAL METHODS IN SYSTEM DESIGN | 24477 | 2% | 4% | 18 |
| 6 | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 11146 | 4% | 1% | 29 |
| 7 | ACTA INFORMATICA | 10990 | 2% | 2% | 18 |
| 8 | INFORMATION PROCESSING LETTERS | 8598 | 5% | 1% | 38 |
| 9 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 7328 | 1% | 2% | 8 |
| 10 | THEORETICAL COMPUTER SCIENCE | 6498 | 5% | 0% | 43 |
Author Key Words |
Core articles |
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c: (1) Number of references referring to publications in the class. (2) Share of total number of active references referring to publications in the class. (3) Age of the article. New articles get higher score than old articles. (4) Citation rate, normalized to year. |
| Rank | Reference | # ref. in cl. |
Shr. of ref. in cl. |
Citations |
|---|---|---|---|---|
| 1 | KURKI-SUONIO, R , (2003) ACTION SYSTEMS IN INCREMENTAL AND ASPECT-ORIENTED MODELING.DISTRIBUTED COMPUTING. VOL. 16. ISSUE 2-3. P. 201 -217 | 26 | 63% | 4 |
| 2 | JOUNG, YJ , (2001) ON FAIRNESS NOTIONS IN DISTRIBUTED SYSTEMS - I. A CHARACTERIZATION OF IMPLEMENTABILITY.INFORMATION AND COMPUTATION. VOL. 166. ISSUE 1. P. 1-34 | 22 | 79% | 6 |
| 3 | DIN, CC , DOVLAND, J , JOHNSEN, EB , OWE, O , (2012) OBSERVABLE BEHAVIOR OF DISTRIBUTED SYSTEMS: COMPONENT REASONING FOR CONCURRENT OBJECTS.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. VOL. 81. ISSUE 3. P. 227 -256 | 12 | 92% | 4 |
| 4 | HESSELINK, WH , (2006) REFINEMENT VERIFICATION OF THE LAZY CACHING ALGORITHM.ACTA INFORMATICA. VOL. 43. ISSUE 3. P. 195-222 | 14 | 82% | 4 |
| 5 | YU, DC , SHAO, Z , (2004) VERIFICATION OF SAFETY PROPERTIES FOR CONCURRENT ASSEMBLY CODE.ACM SIGPLAN NOTICES. VOL. 39. ISSUE 9. P. 175 -188 | 14 | 88% | 0 |
| 6 | DE ROEVER, WP , (1998) THE NEED FOR COMPOSITIONAL PROOF SYSTEMS: A SURVEY.COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE. VOL. 1536. ISSUE . P. 1 -22 | 18 | 78% | 7 |
| 7 | STEHR, MO , (2008) COMPOSITIONALITY FOR TIGHTLY COUPLED SYSTEMS: A NEW APPLICATION OF THE PROPOSITIONS-AS-TYPES INTERPRETATION.FUNDAMENTA INFORMATICAE. VOL. 82. ISSUE 4. P. 311 -340 | 11 | 92% | 0 |
| 8 | COLLETTE, P , KNAPP, E , (1997) A FOUNDATION FOR MODULAR REASONING ABOUT SAFETY AND PROGRESS PROPERTIES OF STATE-BASED CONCURRENT PROGRAMS.THEORETICAL COMPUTER SCIENCE. VOL. 183. ISSUE 2. P. 253 -279 | 14 | 100% | 6 |
| 9 | VOLZER, H , VARACCA, D , (2012) DEFINING FAIRNESS IN REACTIVE AND CONCURRENT SYSTEMS.JOURNAL OF THE ACM. VOL. 59. ISSUE 3. P. - | 14 | 58% | 3 |
| 10 | CHILTON, C , JONSSON, B , KWIATKOWSKA, M , (2014) COMPOSITIONAL ASSUME-GUARANTEE REASONING FOR INPUT/OUTPUT COMPONENT THEORIES.SCIENCE OF COMPUTER PROGRAMMING. VOL. 91. ISSUE . P. 115 -137 | 9 | 82% | 2 |
Classes with closest relation at Level 1 |