Class information for:
Level 1: PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
2581 2204 24.7 31%


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
2581 1                   PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES 2204

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 PROCESS ALGEBRA authKW 842610 7% 39% 156
2 PROGRAMMING GRP address 349145 2% 46% 55
3 EVENT STRUCTURES authKW 199460 1% 60% 24
4 PARTIAL ORDER SEMANTICS authKW 191060 1% 69% 20
5 TRUE CONCURRENCY authKW 191060 1% 69% 20
6 THREAD ALGEBRA authKW 166233 1% 100% 12
7 BISIMULATION authKW 154778 3% 19% 60
8 COMPUTER SCIENCE, THEORY & METHODS WoSSC 148121 71% 1% 1560
9 CONCURRENCY authKW 147019 5% 11% 101
10 PROGRAM ALGEBRA authKW 128934 0% 85% 11

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 148121 71% 1% 1560
2 Computer Science, Software Engineering 20926 23% 0% 501
3 Logic 7987 4% 1% 93
4 Computer Science, Information Systems 7849 16% 0% 350
5 Computer Science, Hardware & Architecture 2513 6% 0% 138
6 Mathematics, Applied 2318 14% 0% 307
7 Telecommunications 188 3% 0% 68
8 Computer Science, Artificial Intelligence 107 2% 0% 54
9 Engineering, Electrical & Electronic 32 5% 0% 113
10 COMPUTER APPLICATIONS & CYBERNETICS 17 0% 0% 2

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 PROGRAMMING GRP 349145 2% 46% 55
2 PL LOG GRP 80142 0% 64% 9
3 LEHRSTUHL PRAKT INFORMAT 2 71241 0% 86% 6
4 SECT THEORET COMP SCI 62334 0% 75% 6
5 ERSHOV INFORMAT SYST 50401 1% 20% 18
6 ICE TCS 44871 0% 36% 9
7 SECTIE SOFTWARE ENGN 41558 0% 100% 3
8 FAK INFORMAT ELEKTROTECH 4 27705 0% 100% 2
9 GDANSK BRANCH 27705 0% 100% 2
10 INFORMAT FONDAMENTALE INTELLIGENCE ARTIFICIELLE 27705 0% 100% 2

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 THEORETICAL COMPUTER SCIENCE 120215 14% 3% 305
2 LECTURE NOTES IN COMPUTER SCIENCE 118676 39% 1% 869
3 INFORMATION AND COMPUTATION 109218 6% 6% 129
4 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 77308 2% 13% 43
5 FUNDAMENTA INFORMATICAE 74747 5% 5% 111
6 ACTA INFORMATICA 62440 3% 6% 71
7 IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS 62422 2% 11% 42
8 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 23691 1% 6% 30
9 FORMAL ASPECTS OF COMPUTING 17373 1% 6% 22
10 FORMAL METHODS IN SYSTEM DESIGN 15849 1% 5% 24

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 PROCESS ALGEBRA 842610 7% 39% 156 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
2 EVENT STRUCTURES 199460 1% 60% 24 Search EVENT+STRUCTURES Search EVENT+STRUCTURES
3 PARTIAL ORDER SEMANTICS 191060 1% 69% 20 Search PARTIAL+ORDER+SEMANTICS Search PARTIAL+ORDER+SEMANTICS
4 TRUE CONCURRENCY 191060 1% 69% 20 Search TRUE+CONCURRENCY Search TRUE+CONCURRENCY
5 THREAD ALGEBRA 166233 1% 100% 12 Search THREAD+ALGEBRA Search THREAD+ALGEBRA
6 BISIMULATION 154778 3% 19% 60 Search BISIMULATION Search BISIMULATION
7 CONCURRENCY 147019 5% 11% 101 Search CONCURRENCY Search CONCURRENCY
8 PROGRAM ALGEBRA 128934 0% 85% 11 Search PROGRAM+ALGEBRA Search PROGRAM+ALGEBRA
9 ACTION REFINEMENT 123405 1% 64% 14 Search ACTION+REFINEMENT Search ACTION+REFINEMENT
10 STRUCTURAL OPERATIONAL SEMANTICS 119761 1% 41% 21 Search STRUCTURAL+OPERATIONAL+SEMANTICS Search STRUCTURAL+OPERATIONAL+SEMANTICS

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 BERNARDO, M , DE NICOLA, R , LORETI, M , (2013) A UNIFORM FRAMEWORK FOR MODELING NONDETERMINISTIC, PROBABILISTIC, STOCHASTIC, OR MIXED PROCESSES AND THEIR BEHAVIORAL EQUIVALENCES.INFORMATION AND COMPUTATION. VOL. 225. ISSUE . P. 29 -82 48 89% 5
2 GOLTZ, U , VAN GLABBEEK, R , (2001) REFINEMENT OF ACTIONS AND EQUIVALENCE NOTIONS FOR CONCURRENT SYSTEMS.ACTA INFORMATICA. VOL. 37. ISSUE 4-5. P. 229 -327 53 91% 77
3 ACETO, L , ESCRIG, DD , GREGORIO-RODRIGUEZ, C , INGOLFSDOTTIR, A , (2014) AXIOMATIZING WEAK SIMULATION SEMANTICS OVER BCCSP.THEORETICAL COMPUTER SCIENCE. VOL. 537. ISSUE . P. 42 -71 26 100% 1
4 MOUSAVI, MR , RENIERS, MA , GROOTE, JF , (2007) SOS FORMATS AND META-THEORY: 20 YEARS AFTER.THEORETICAL COMPUTER SCIENCE. VOL. 373. ISSUE 3. P. 238 -272 46 65% 17
5 GARAVEL, H , (2015) REVISITING SEQUENTIAL COMPOSITION IN PROCESS CALCULI.JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. VOL. 84. ISSUE 6. P. 742 -762 31 78% 0
6 PHILLIPS, I , ULIDOWSKI, I , (2014) EVENT IDENTIFIER LOGIC.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 24. ISSUE 2. P. - 24 96% 1
7 HERMANNS, H , (2002) INTERACTIVE MARKOV CHAINS - AND THE QUEST FOR QUANTIFIED QUALITY - INTRODUCTION.INTERACTIVE MARKOV CHAINS. VOL. 2428. ISSUE . P. 1 -+ 37 76% 0
8 TINI, S , (2010) NON-EXPANSIVE EPSILON-BISIMULATIONS FOR PROBABILISTIC PROCESSES.THEORETICAL COMPUTER SCIENCE. VOL. 411. ISSUE 22-24. P. 2202 -2222 22 96% 8
9 ESCRIG, DD , RODRIGUEZ, CG , PALOMINO, M , HERNANDEZ, DR , (2013) UNIFYING THE LINEAR TIME-BRANCHING TIME SPECTRUM OF STRONG PROCESS SEMANTICS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 9. ISSUE 2. P. - 21 95% 0
10 LOPEZ, N , NUNEZ, M , (2004) AN OVERVIEW OF PROBABILISTIC PROCESS ALGEBRAS AND THEIR EQUIVALENCES.VALIDATION OF STOCHASTIC SYSTEMS. VOL. 2925. ISSUE . P. 89 -123 24 96% 12

Classes with closest relation at Level 1


Rank Class id link
1 8999 PI CALCULUS//PROCESS CALCULI//SESSION TYPES
2 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
3 15505 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//MAZURKIEWICZ TRACES
4 13930 ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING
5 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
6 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
7 13313 PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES
8 17505 PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION
9 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
10 7299 FORMAL ASPECTS OF COMPUTING//KLEENE ALGEBRA//EVENT B

Go to start page