Class information for:
Level 1: PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
5453 1555 25.0 30%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 PROCESS ALGEBRA Author keyword 42 28% 8% 127
2 THREAD ALGEBRA Author keyword 31 92% 1% 12
3 PROGRAMMING GRP Address 29 46% 3% 47
4 PROGRAM ALGEBRA Author keyword 21 85% 1% 11
5 SECT THEORET COMP SCI Address 15 88% 0% 7
6 NON FINITELY BASED ALGEBRAS Author keyword 11 100% 0% 6
7 TESTING SEMANTICS Author keyword 11 69% 1% 9
8 PL LOG GRP Address 9 64% 1% 9
9 PROBABILISTIC TRANSITION SYSTEM Author keyword 9 83% 0% 5
10 LOTOS Author keyword 9 23% 2% 34

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 PROCESS ALGEBRA 42 28% 8% 127 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
2 THREAD ALGEBRA 31 92% 1% 12 Search THREAD+ALGEBRA Search THREAD+ALGEBRA
3 PROGRAM ALGEBRA 21 85% 1% 11 Search PROGRAM+ALGEBRA Search PROGRAM+ALGEBRA
4 NON FINITELY BASED ALGEBRAS 11 100% 0% 6 Search NON+FINITELY+BASED+ALGEBRAS Search NON+FINITELY+BASED+ALGEBRAS
5 TESTING SEMANTICS 11 69% 1% 9 Search TESTING+SEMANTICS Search TESTING+SEMANTICS
6 PROBABILISTIC TRANSITION SYSTEM 9 83% 0% 5 Search PROBABILISTIC+TRANSITION+SYSTEM Search PROBABILISTIC+TRANSITION+SYSTEM
7 LOTOS 9 23% 2% 34 Search LOTOS Search LOTOS
8 MU CRL 9 55% 1% 11 Search MU+CRL Search MU+CRL
9 STRUCTURAL OPERATIONAL SEMANTICS 8 34% 1% 20 Search STRUCTURAL+OPERATIONAL+SEMANTICS Search STRUCTURAL+OPERATIONAL+SEMANTICS
10 RULE FORMATS 8 70% 0% 7 Search RULE+FORMATS Search RULE+FORMATS

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 PROCESS ALGEBRA 51 45% 6% 86
2 NEGATIVE PREMISES 47 84% 2% 26
3 TRANSITION SYSTEM SPECIFICATIONS 45 83% 2% 25
4 BISIMULATION 44 29% 8% 126
5 PROBABILISTIC PROCESSES 30 64% 2% 29
6 COMMUNICATING PROCESSES 20 57% 2% 24
7 THREAD ALGEBRA 18 89% 1% 8
8 PREFIX ITERATION 17 100% 1% 8
9 REGULAR BEHAVIORS 15 82% 1% 9
10 IN PROCESS ALGEBRA 15 88% 0% 7

Journals


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 7 14% 3% 45
2 IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS 3 13% 1% 23

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time 1998 102 21 100%
A practical approach to implementing real-time semantics 1999 3 12 67%
Formal methods for telecommunication system requirements: A survey of standardized languages 1997 3 8 50%
Automatic verification of distributed systems: The process algebra approach 1996 2 20 60%
Strategic directions in concurrency research 1996 12 38 29%
Specification and analysis of real-time systems with PARAGON 1999 2 16 25%
FORMAL DESCRIPTION OF REALTIME SYSTEMS - A REVIEW 1989 4 16 38%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 PROGRAMMING GRP 29 46% 3.0% 47
2 SECT THEORET COMP SCI 15 88% 0.5% 7
3 PL LOG GRP 9 64% 0.6% 9
4 ICE TCS 6 50% 0.6% 9
5 SECTIE SOFTWARE ENGN 3 100% 0.2% 3
6 TELECOMMUN SOFTWARE ENGN GRP 3 60% 0.2% 3
7 DEPENDABLE SYST SOFTWARE GRP 2 67% 0.1% 2
8 DESIGN ANAL SYST GRP 2 67% 0.1% 2
9 INRIA FUTURS LIX 2 67% 0.1% 2
10 IST STI 2 67% 0.1% 2

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000274060 CHAIR SOFTWARE TECHNOL//COALGEBRA//FINAL COALGEBRA
2 0.0000237076 PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//LEHRSTUHL ANGEW INFORMAT
3 0.0000214032 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
4 0.0000180944 PROCESS CALCULI//PI CALCULUS//THE PI CALCULUS
5 0.0000156703 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
6 0.0000143564 TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS
7 0.0000125839 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS
8 0.0000106960 PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION
9 0.0000099471 KLEENE ALGEBRA//RELATION ALGEBRA//JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
10 0.0000073785 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY