Class information for:
Level 1: PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL

Basic class information

Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes

The table includes all classes above and classes immediately below the current class.



Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
176 2             COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 21406
7234 1                   PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL 1417

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PROCESS ALGEBRA authKW 1078250 10% 34% 141
2 PROGRAMMING GRP address 623409 4% 48% 58
3 MU CRL authKW 333604 1% 100% 15
4 THREAD ALGEBRA authKW 266883 1% 100% 12
5 STRUCTURAL OPERATIONAL SEMANTICS authKW 257384 2% 46% 25
6 PROGRAM ALGEBRA authKW 192215 1% 79% 11
7 BISIMULATION authKW 189223 4% 16% 53
8 BISIMULATION EQUIVALENCE authKW 134222 1% 46% 13
9 NON FINITELY BASED ALGEBRAS authKW 133442 0% 100% 6
10 PL LOG GRP address 128669 1% 64% 9

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 97288 71% 0% 1011
2 Logic 10171 6% 1% 84
3 Computer Science, Software Engineering 9601 19% 0% 273
4 Computer Science, Information Systems 4815 16% 0% 222
5 Computer Science, Hardware & Architecture 1506 6% 0% 86
6 Mathematics, Applied 1034 12% 0% 168
7 Computer Science, Artificial Intelligence 126 3% 0% 44
8 COMPUTER APPLICATIONS & CYBERNETICS 70 0% 0% 3
9 Telecommunications 69 3% 0% 36
10 Engineering, Electrical & Electronic 8 4% 0% 62

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PROGRAMMING GRP 623409 4% 48% 58
2 PL LOG GRP 128669 1% 64% 9
3 SECT THEORET COMP SCI 121083 0% 78% 7
4 LEHRSTUHL PRAKT INFORMAT 2 114377 0% 86% 6
5 ICE TCS 69275 1% 35% 9
6 DESIGN ANAL SYST GRP 66721 0% 100% 3
7 SECTIE SOFTWARE ENGN 66721 0% 100% 3
8 VASY 61582 0% 46% 6
9 CLUSTER SOFTWARE ENGN 44481 0% 100% 2
10 SYSMA 44481 0% 100% 2

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 118452 3% 13% 42
2 THEORETICAL COMPUTER SCIENCE 93618 15% 2% 214
3 INFORMATION AND COMPUTATION 86531 6% 4% 92
4 LECTURE NOTES IN COMPUTER SCIENCE 70259 37% 1% 528
5 ACTA INFORMATICA 36180 3% 4% 43
6 IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS 32551 2% 6% 24
7 SCIENCE OF COMPUTER PROGRAMMING 18584 3% 2% 37
8 FORMAL ASPECTS OF COMPUTING 10579 1% 3% 14
9 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 10246 1% 3% 16
10 INFORMATION PROCESSING LETTERS 8608 4% 1% 50

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 PROCESS ALGEBRA 1078250 10% 34% 141 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
2 MU CRL 333604 1% 100% 15 Search MU+CRL Search MU+CRL
3 THREAD ALGEBRA 266883 1% 100% 12 Search THREAD+ALGEBRA Search THREAD+ALGEBRA
4 STRUCTURAL OPERATIONAL SEMANTICS 257384 2% 46% 25 Search STRUCTURAL+OPERATIONAL+SEMANTICS Search STRUCTURAL+OPERATIONAL+SEMANTICS
5 PROGRAM ALGEBRA 192215 1% 79% 11 Search PROGRAM+ALGEBRA Search PROGRAM+ALGEBRA
6 BISIMULATION 189223 4% 16% 53 Search BISIMULATION Search BISIMULATION
7 BISIMULATION EQUIVALENCE 134222 1% 46% 13 Search BISIMULATION+EQUIVALENCE Search BISIMULATION+EQUIVALENCE
8 NON FINITELY BASED ALGEBRAS 133442 0% 100% 6 Search NON+FINITELY+BASED+ALGEBRAS Search NON+FINITELY+BASED+ALGEBRAS
9 BRANCHING BISIMULATION 118609 1% 67% 8 Search BRANCHING+BISIMULATION Search BRANCHING+BISIMULATION
10 BASIC PROCESS ALGEBRA 111201 0% 100% 5 Search BASIC+PROCESS+ALGEBRA Search BASIC+PROCESS+ALGEBRA

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.

Classes with closest relation at Level 1



rank cluster_id2 link
1 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
2 7503 PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//MESSAGE SEQUENCE CHARTS
3 8458 PI CALCULUS//PROCESS CALCULI//SESSION TYPES
4 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
5 26197 LOTOS//PROTOCOL SYNTHESIS//RM ODP
6 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS
7 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS
8 16565 WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV
9 9739 FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA
10 12098 CONFORMANCE TESTING//ESTELLE//FINITE STATE MACHINE

Go to start page