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

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
8999 1198 28.0 33%


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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
8999 1                   PI CALCULUS//PROCESS CALCULI//SESSION TYPES 1198

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 PI CALCULUS authKW 1181939 7% 58% 80
2 PROCESS CALCULI authKW 849858 4% 65% 51
3 SESSION TYPES authKW 603627 3% 79% 30
4 AMBIENT CALCULUS authKW 362478 1% 89% 16
5 MOBILE AMBIENTS authKW 287150 1% 87% 13
6 MOBILE PROCESSES authKW 286721 1% 75% 15
7 PROCESS CALCULUS authKW 275131 2% 47% 23
8 DIPARTIMENTO INFORMAT address 267325 15% 6% 178
9 BISIMULATION authKW 239344 5% 17% 55
10 PROCESS ALGEBRA authKW 206920 5% 14% 57

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 77481 69% 0% 832
2 Computer Science, Software Engineering 28849 36% 0% 430
3 Logic 9118 6% 0% 73
4 Computer Science, Information Systems 1791 11% 0% 126
5 Computer Science, Hardware & Architecture 1110 6% 0% 68
6 Computer Science, Artificial Intelligence 571 6% 0% 75
7 Mathematics, Applied 504 9% 0% 112
8 Mathematical & Computational Biology 102 2% 0% 24
9 Telecommunications 24 2% 0% 22
10 Computer Science, Interdisciplinary Applications 7 1% 0% 16

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 DIPARTIMENTO INFORMAT 267325 15% 6% 178
2 FOCUS TEAM 152922 1% 100% 6
3 DIPARTIMENTO SISTEMI INFORMAT 91108 4% 7% 49
4 BDCC 76461 0% 100% 3
5 BASICS 76443 1% 25% 12
6 UMR CNRS UCBL INRIA 5668 50974 0% 100% 2
7 MOE MS INTELLIGENT COMP INTELLIGENT SYS 45874 0% 60% 3
8 DIPARTIMENTO SCI INFORMAZ 44409 3% 5% 35
9 EQUIPE PPS 39817 0% 31% 5
10 DIPARTIMENTO INFORMAT TELECOMUNICAZ 32853 1% 18% 7

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 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 107154 4% 9% 47
2 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 78790 3% 10% 32
3 INFORMATION AND COMPUTATION 64351 6% 3% 73
4 LECTURE NOTES IN COMPUTER SCIENCE 64136 39% 1% 471
5 THEORETICAL COMPUTER SCIENCE 54182 13% 1% 151
6 SCIENCE OF COMPUTER PROGRAMMING 23987 3% 2% 39
7 LOGICAL METHODS IN COMPUTER SCIENCE 19476 2% 3% 22
8 FORMAL ASPECTS OF COMPUTING 19099 1% 4% 17
9 JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 18861 1% 7% 10
10 ACM SIGPLAN NOTICES 11578 4% 1% 47

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 PI CALCULUS 1181939 7% 58% 80 Search PI+CALCULUS Search PI+CALCULUS
2 PROCESS CALCULI 849858 4% 65% 51 Search PROCESS+CALCULI Search PROCESS+CALCULI
3 SESSION TYPES 603627 3% 79% 30 Search SESSION+TYPES Search SESSION+TYPES
4 AMBIENT CALCULUS 362478 1% 89% 16 Search AMBIENT+CALCULUS Search AMBIENT+CALCULUS
5 MOBILE AMBIENTS 287150 1% 87% 13 Search MOBILE+AMBIENTS Search MOBILE+AMBIENTS
6 MOBILE PROCESSES 286721 1% 75% 15 Search MOBILE+PROCESSES Search MOBILE+PROCESSES
7 PROCESS CALCULUS 275131 2% 47% 23 Search PROCESS+CALCULUS Search PROCESS+CALCULUS
8 BISIMULATION 239344 5% 17% 55 Search BISIMULATION Search BISIMULATION
9 PROCESS ALGEBRA 206920 5% 14% 57 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
10 THE PI CALCULUS 181239 1% 89% 8 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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 HUTTEL, H , LANESE, I , VASCONCELOS, VT , CAIRES, L , CARBONE, M , DENIELOU, PM , MOSTROUS, D , PADOVANI, L , RAVARA, A , TUOSTO, E , ET AL (2016) FOUNDATIONS OF SESSION TYPES AND BEHAVIOURAL CONTRACTS.ACM COMPUTING SURVEYS. VOL. 49. ISSUE 1. P. - 43 64% 2
2 FU, YX , (2016) THEORY OF INTERACTION.THEORETICAL COMPUTER SCIENCE. VOL. 611. ISSUE . P. 1 -49 45 66% 0
3 GORLA, D , (2010) TOWARDS A UNIFIED APPROACH TO ENCODABILITY AND SEPARATION RESULTS FOR PROCESS CALCULI.INFORMATION AND COMPUTATION. VOL. 208. ISSUE 9. P. 1031 -1053 28 90% 14
4 GORLA, D , (2010) A TAXONOMY OF PROCESS CALCULI FOR DISTRIBUTION AND MOBILITY.DISTRIBUTED COMPUTING. VOL. 23. ISSUE 4. P. 273 -299 26 96% 2
5 DE NICOLA, R , GORLA, D , PUGLIESE, R , (2007) BASIC OBSERVABLES FOR A CALCULUS FOR GLOBAL COMPUTING.INFORMATION AND COMPUTATION. VOL. 205. ISSUE 10. P. 1491 -1525 26 87% 4
6 PUGLIESE, R , TIEZZI, F , (2012) A CALCULUS FOR ORCHESTRATION OF WEB SERVICES.JOURNAL OF APPLIED LOGIC. VOL. 10. ISSUE 1. P. 2 -31 25 76% 9
7 LEVI, F , (2006) A TYPED ENCODING OF BOXED INTO SAFE AMBIENTS.ACTA INFORMATICA. VOL. 42. ISSUE 6-7. P. 429-500 22 100% 4
8 FU, YX , (2007) FAIR AMBIENTS.ACTA INFORMATICA. VOL. 43. ISSUE 8. P. 535 -594 22 96% 8
9 BOREALE, M , BRUNI, R , DE NICOLA, R , LORETI, M , (2015) CASPIS: A CALCULUS OF SESSIONS, PIPELINES AND SERVICES.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 25. ISSUE 3. P. 666 -709 19 90% 1
10 FU, YX , YANG, ZR , (2003) TAU LAWS FOR PI CALCULUS.THEORETICAL COMPUTER SCIENCE. VOL. 308. ISSUE 1-3. P. 55 -130 27 87% 8

Classes with closest relation at Level 1


Rank Class id link
1 2581 PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES
2 11223 SECURITY PROTOCOLS//FAIR EXCHANGE//CRYPTOGRAPHIC PROTOCOLS
3 15409 TUPLE SPACES//LINDA//COORDINATION MODELS AND LANGUAGES
4 20701 INFORMATION FLOW CONTROL//BYTECODE VERIFICATION//LANGUAGE BASED SECURITY
5 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
6 35851 CLOUD BASED INFRASTRUCTURE AS A SERVICE//MOBILE TESTING AS A SERVICE//MOBILE APPLICATION TESTING
7 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
8 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
9 16207 MOBILE AGENTS//OFF NEW TECHNOL//C C PLUS PLUS INTERPRETER
10 11100 DYNAMIC SOFTWARE UPDATING//SOFTWARE ARCHITECTURE//REO

Go to start page