Class information for:
Level 1: TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
14454 702 22.3 27%


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 TEMPORAL LOGIC OF ACTIONS Author keyword 11 78% 1% 7
2 COMMITTEE COORDINATION Author keyword 8 100% 1% 5
3 INVARIANCE UNDER STUTTERING Author keyword 6 100% 1% 4
4 TEMPORAL INTERPRETATIONS Author keyword 4 75% 0% 3
5 COMPOSITIONAL REASONING Author keyword 3 27% 1% 10
6 MULTIPARTY INTERACTION Author keyword 3 35% 1% 7
7 WEAK FAIRNESS Author keyword 3 60% 0% 3
8 RELY GUARANTEE Author keyword 2 36% 1% 5
9 ASSUMPTION COMMITMENT Author keyword 2 67% 0% 2
10 AUTOMATED TRANSFORMATION Author keyword 2 67% 0% 2

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 TEMPORAL LOGIC OF ACTIONS 11 78% 1% 7 Search TEMPORAL+LOGIC+OF+ACTIONS Search TEMPORAL+LOGIC+OF+ACTIONS
2 COMMITTEE COORDINATION 8 100% 1% 5 Search COMMITTEE+COORDINATION Search COMMITTEE+COORDINATION
3 INVARIANCE UNDER STUTTERING 6 100% 1% 4 Search INVARIANCE+UNDER+STUTTERING Search INVARIANCE+UNDER+STUTTERING
4 TEMPORAL INTERPRETATIONS 4 75% 0% 3 Search TEMPORAL+INTERPRETATIONS Search TEMPORAL+INTERPRETATIONS
5 COMPOSITIONAL REASONING 3 27% 1% 10 Search COMPOSITIONAL+REASONING Search COMPOSITIONAL+REASONING
6 MULTIPARTY INTERACTION 3 35% 1% 7 Search MULTIPARTY+INTERACTION Search MULTIPARTY+INTERACTION
7 WEAK FAIRNESS 3 60% 0% 3 Search WEAK+FAIRNESS Search WEAK+FAIRNESS
8 RELY GUARANTEE 2 36% 1% 5 Search RELY+GUARANTEE Search RELY+GUARANTEE
9 ASSUMPTION COMMITMENT 2 67% 0% 2 Search ASSUMPTION+COMMITMENT Search ASSUMPTION+COMMITMENT
10 AUTOMATED TRANSFORMATION 2 67% 0% 2 Search AUTOMATED+TRANSFORMATION Search AUTOMATED+TRANSFORMATION

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 MULTIPARTY INTERACTIONS 9 83% 1% 5
2 INTERPROCESS SYNCHRONIZATION 6 100% 1% 4
3 PROOF TECHNIQUE 5 54% 1% 7
4 LIVENESS PROPERTIES 5 47% 1% 8
5 ETERNITY VARIABLES 4 75% 0% 3
6 LIVENESS 3 15% 3% 18
7 HYPERFAIRNESS 3 60% 0% 3
8 FAIR TERMINATION 2 67% 0% 2
9 PARALLEL PROGRAMS 1 10% 2% 14
10 FAIRNESS NOTIONS 1 100% 0% 2

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
SPECIFYING MESSAGE-PASSING AND TIME-CRITICAL SYSTEMS WITH TEMPORAL LOGIC 1992 0 20 45%

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 LEHRSTUHL PRAKT INFORMAT 2 2 43% 0.4% 3
2 TELECOMMUN NETWORKS SECUR GRP 1 100% 0.3% 2
3 VERIMAG UMR 5104 1 33% 0.3% 2
4 ABT PROGRAMMIERMETHOD 1 50% 0.1% 1
5 COMP SCI 256 80 1 50% 0.1% 1
6 DANTE 1 50% 0.1% 1
7 SAARBRUCKEN COMP SCI 1 50% 0.1% 1
8 TRUSTED INFORMAT MANAGEMENT 1 50% 0.1% 1
9 LEHRSTUHL SOFTWARETECH PROGRAMMIERSPRACHEN 0 14% 0.4% 3
10 FORMAL DESIGN VERIFICAT SOFTWARE 0 33% 0.1% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000219875 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY
2 0.0000214032 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
3 0.0000212786 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
4 0.0000180182 PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION
5 0.0000146406 ABT PROGRAMMIERMETHOD//ACKERMANN FUNCTIONS//COMPUTATION ON ABSTRACT DATA TYPES
6 0.0000140529 TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS
7 0.0000131211 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
8 0.0000120249 SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL
9 0.0000107315 DISTRIBUTED COMPUTING//BYZANTINE AGREEMENT//APPROXIMATE AGREEMENT
10 0.0000101393 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ