Class information for:
Level 1: PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//MESSAGE SEQUENCE CHARTS

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
7503 1                   PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//MESSAGE SEQUENCE CHARTS 1385

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PARTIAL ORDER SEMANTICS authKW 379748 2% 76% 22
2 MAZURKIEWICZ TRACES authKW 357135 1% 83% 19
3 MESSAGE SEQUENCE CHARTS authKW 229414 2% 46% 22
4 EVENT STRUCTURES authKW 227522 1% 50% 20
5 TRUE CONCURRENCY authKW 226743 1% 59% 17
6 ACTION REFINEMENT authKW 174783 1% 59% 13
7 CONCURRENCY authKW 150955 6% 8% 81
8 CAUSALITY PARTIAL ORDER THEORY OF CONCURRENCY authKW 136525 0% 100% 6
9 OCCURRENCE NETS authKW 136525 0% 100% 6
10 STEP SEQUENCES authKW 132383 1% 73% 8

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 94475 71% 0% 985
2 Computer Science, Software Engineering 14958 24% 0% 335
3 Computer Science, Information Systems 3369 13% 0% 185
4 Mathematics, Applied 1757 15% 0% 210
5 Computer Science, Hardware & Architecture 642 4% 0% 57
6 Logic 620 2% 0% 21
7 Computer Science, Artificial Intelligence 102 3% 0% 40
8 Telecommunications 13 2% 0% 21
9 Mathematics 9 3% 0% 39
10 Computer Science, Cybernetics 6 0% 0% 4

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LEHRSTUHL ANGEW INFORMAT 131643 1% 64% 9
2 LRI CNRS URA 410 81910 0% 60% 6
3 PODSTAW INFORMAT 81262 0% 71% 5
4 ERSHOV INFORMAT SYST 64697 1% 18% 16
5 LIAFA 62098 3% 6% 45
6 PARALLEL SYST 52006 0% 57% 4
7 GDANSK BRANCH 45508 0% 100% 2
8 LEHRSTUHL ANGEWANDTE INFORMAT 45508 0% 100% 2
9 METHOD GRUNDLAGEN 45508 0% 100% 2
10 RI CNRS URA 1304 45508 0% 100% 2

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LECTURE NOTES IN COMPUTER SCIENCE 98077 44% 1% 616
2 FUNDAMENTA INFORMATICAE 86503 7% 4% 95
3 THEORETICAL COMPUTER SCIENCE 69231 13% 2% 182
4 INFORMATION AND COMPUTATION 52697 5% 3% 71
5 ACTA INFORMATICA 38762 3% 4% 44
6 RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS 9835 1% 3% 15
7 FORMAL METHODS IN SYSTEM DESIGN 8683 1% 3% 14
8 INFORMATION PROCESSING LETTERS 5342 3% 1% 39
9 PROGRAMMING AND COMPUTER SOFTWARE 5250 1% 2% 14
10 IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS 3690 1% 2% 8

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 PARTIAL ORDER SEMANTICS 379748 2% 76% 22 Search PARTIAL+ORDER+SEMANTICS Search PARTIAL+ORDER+SEMANTICS
2 MAZURKIEWICZ TRACES 357135 1% 83% 19 Search MAZURKIEWICZ+TRACES Search MAZURKIEWICZ+TRACES
3 MESSAGE SEQUENCE CHARTS 229414 2% 46% 22 Search MESSAGE+SEQUENCE+CHARTS Search MESSAGE+SEQUENCE+CHARTS
4 EVENT STRUCTURES 227522 1% 50% 20 Search EVENT+STRUCTURES Search EVENT+STRUCTURES
5 TRUE CONCURRENCY 226743 1% 59% 17 Search TRUE+CONCURRENCY Search TRUE+CONCURRENCY
6 ACTION REFINEMENT 174783 1% 59% 13 Search ACTION+REFINEMENT Search ACTION+REFINEMENT
7 CONCURRENCY 150955 6% 8% 81 Search CONCURRENCY Search CONCURRENCY
8 CAUSALITY PARTIAL ORDER THEORY OF CONCURRENCY 136525 0% 100% 6 Search CAUSALITY+PARTIAL+ORDER+THEORY+OF+CONCURRENCY Search CAUSALITY+PARTIAL+ORDER+THEORY+OF+CONCURRENCY
9 OCCURRENCE NETS 136525 0% 100% 6 Search OCCURRENCE+NETS Search OCCURRENCE+NETS
10 STEP SEQUENCES 132383 1% 73% 8 Search STEP+SEQUENCES Search STEP+SEQUENCES

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 7234 PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL
2 38661 HIGHER DIMENSIONAL AUTOMATA//DIHOMOTOPY//DIRECTED ALGEBRAIC TOPOLOGY
3 16565 WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV
4 26197 LOTOS//PROTOCOL SYNTHESIS//RM ODP
5 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS
6 3342 PETRI NETS//DEADLOCK PREVENTION//SIPHON
7 15888 STATECHARTS//LIVE SEQUENCE CHARTS//CHOREOGRAPHY REALIZATION PROBLEM
8 8458 PI CALCULUS//PROCESS CALCULI//SESSION TYPES
9 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
10 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS

Go to start page