Class information for:
Level 1: PI CALCULUS//PROCESS CALCULI//SESSION TYPES

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
8458 1                   PI CALCULUS//PROCESS CALCULI//SESSION TYPES 1282

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PI CALCULUS authKW 1238889 7% 60% 84
2 PROCESS CALCULI authKW 884932 4% 67% 54
3 SESSION TYPES authKW 734466 3% 85% 35
4 AMBIENT CALCULUS authKW 394683 1% 94% 17
5 DIPARTIMENTO INFORMAT address 331339 16% 7% 204
6 MOBILE AMBIENTS authKW 321209 1% 93% 14
7 BISIMULATION authKW 295558 5% 19% 63
8 PROCESS CALCULUS authKW 288945 2% 49% 24
9 MOBILE PROCESSES authKW 276545 1% 75% 15
10 PROCESS ALGEBRA authKW 245477 5% 16% 64

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 82908 69% 0% 888
2 Computer Science, Software Engineering 33836 38% 0% 481
3 Logic 9203 6% 1% 76
4 Computer Science, Information Systems 2098 11% 0% 142
5 Computer Science, Hardware & Architecture 1297 6% 0% 76
6 Mathematics, Applied 572 10% 0% 123
7 Computer Science, Artificial Intelligence 532 6% 0% 76
8 Mathematical & Computational Biology 58 2% 0% 20
9 Telecommunications 7 1% 0% 17
10 Computer Science, Interdisciplinary Applications 3 1% 0% 14

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 DIPARTIMENTO INFORMAT 331339 16% 7% 204
2 FOCUS TEAM 172077 1% 100% 7
3 DIPARTIMENTO SISTEMI INFORMAT 102202 4% 8% 53
4 BASICS 92636 1% 27% 14
5 DIPARTIMENTO SCI INFORMAZ 74012 4% 7% 46
6 BDCC 73747 0% 100% 3
7 DIPARTIMENTO INFORMAT TELECOMUNICAZ 52386 1% 24% 9
8 UMR CNRS UCBL INRIA 5668 49165 0% 100% 2
9 MOE MS INTELLIGENT COMP INTELLIGENT SYS 44246 0% 60% 3
10 EQUIPE PPS 38403 0% 31% 5

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 106449 4% 9% 49
2 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 80818 3% 10% 33
3 LECTURE NOTES IN COMPUTER SCIENCE 70248 39% 1% 502
4 INFORMATION AND COMPUTATION 68739 6% 4% 78
5 THEORETICAL COMPUTER SCIENCE 57788 12% 1% 160
6 JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 37430 1% 10% 16
7 SCIENCE OF COMPUTER PROGRAMMING 26489 3% 3% 42
8 FORMAL ASPECTS OF COMPUTING 23886 2% 5% 20
9 LOGICAL METHODS IN COMPUTER SCIENCE 17957 2% 3% 22
10 ACTA INFORMATICA 14603 2% 2% 26

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 PI CALCULUS 1238889 7% 60% 84 Search PI+CALCULUS Search PI+CALCULUS
2 PROCESS CALCULI 884932 4% 67% 54 Search PROCESS+CALCULI Search PROCESS+CALCULI
3 SESSION TYPES 734466 3% 85% 35 Search SESSION+TYPES Search SESSION+TYPES
4 AMBIENT CALCULUS 394683 1% 94% 17 Search AMBIENT+CALCULUS Search AMBIENT+CALCULUS
5 MOBILE AMBIENTS 321209 1% 93% 14 Search MOBILE+AMBIENTS Search MOBILE+AMBIENTS
6 BISIMULATION 295558 5% 19% 63 Search BISIMULATION Search BISIMULATION
7 PROCESS CALCULUS 288945 2% 49% 24 Search PROCESS+CALCULUS Search PROCESS+CALCULUS
8 MOBILE PROCESSES 276545 1% 75% 15 Search MOBILE+PROCESSES Search MOBILE+PROCESSES
9 PROCESS ALGEBRA 245477 5% 16% 64 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
10 THE PI CALCULUS 199116 1% 90% 9 Search THE+PI+CALCULUS Search THE+PI+CALCULUS

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 13692 SECURITY PROTOCOLS//CRYPTOGRAPHIC PROTOCOLS//APPLIED PI CALCULUS
2 7234 PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL
3 16017 TUPLE SPACES//LINDA//COORDINATION LANGUAGES
4 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
5 3042 LINEAR LOGIC//LAMBDA CALCULUS//GAME SEMANTICS
6 16565 WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV
7 4056 SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION
8 7503 PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//MESSAGE SEQUENCE CHARTS
9 10828 SOFTWARE ARCHITECTURE//DYNAMIC SOFTWARE UPDATING//REO
10 14838 MOBILE AGENTS//MOBILE CODE//MOBILE AGENT SECURITY

Go to start page