Class information for:
Level 1: PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//LEHRSTUHL ANGEW INFORMAT

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
8002 1228 22.3 33%


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 PARTIAL ORDER SEMANTICS Author keyword 25 66% 2% 23
2 MAZURKIEWICZ TRACES Author keyword 21 73% 1% 16
3 LEHRSTUHL ANGEW INFORMAT Address 13 71% 1% 10
4 EVENT STRUCTURES Author keyword 11 43% 2% 20
5 PETRI BOX CALCULUS Author keyword 9 83% 0% 5
6 STEP SEQUENCE SEMANTICS Author keyword 9 83% 0% 5
7 ACTION REFINEMENT Author keyword 9 47% 1% 14
8 TRUE CONCURRENCY Author keyword 9 42% 1% 16
9 CAUSALITY PARTIAL ORDER THEORY OF CONCURRENCY Author keyword 8 75% 0% 6
10 OCCURRENCE NETS Author keyword 8 75% 0% 6

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 PARTIAL ORDER SEMANTICS 25 66% 2% 23 Search PARTIAL+ORDER+SEMANTICS Search PARTIAL+ORDER+SEMANTICS
2 MAZURKIEWICZ TRACES 21 73% 1% 16 Search MAZURKIEWICZ+TRACES Search MAZURKIEWICZ+TRACES
3 EVENT STRUCTURES 11 43% 2% 20 Search EVENT+STRUCTURES Search EVENT+STRUCTURES
4 PETRI BOX CALCULUS 9 83% 0% 5 Search PETRI+BOX+CALCULUS Search PETRI+BOX+CALCULUS
5 STEP SEQUENCE SEMANTICS 9 83% 0% 5 Search STEP+SEQUENCE+SEMANTICS Search STEP+SEQUENCE+SEMANTICS
6 ACTION REFINEMENT 9 47% 1% 14 Search ACTION+REFINEMENT Search ACTION+REFINEMENT
7 TRUE CONCURRENCY 9 42% 1% 16 Search TRUE+CONCURRENCY Search TRUE+CONCURRENCY
8 CAUSALITY PARTIAL ORDER THEORY OF CONCURRENCY 8 75% 0% 6 Search CAUSALITY+PARTIAL+ORDER+THEORY+OF+CONCURRENCY Search CAUSALITY+PARTIAL+ORDER+THEORY+OF+CONCURRENCY
9 OCCURRENCE NETS 8 75% 0% 6 Search OCCURRENCE+NETS Search OCCURRENCE+NETS
10 PARTIAL MONOID 8 75% 0% 6 Search PARTIAL+MONOID Search PARTIAL+MONOID

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 EVENT STRUCTURES 59 64% 5% 58
2 PARTIAL COMMUTATIONS 27 78% 1% 18
3 ASYNCHRONOUS AUTOMATA 21 69% 1% 18
4 FAILURES SEMANTICS 18 89% 1% 8
5 ACTION REFINEMENT 17 79% 1% 11
6 INFINITE TRACES 15 88% 1% 7
7 CONCURRENCY 13 18% 5% 67
8 PRESERVING REFINEMENTS 12 86% 0% 6
9 ELEMENTARY NET SYSTEMS 11 78% 1% 7
10 SEMICOMMUTATIONS 9 83% 0% 5

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Refinement of actions and equivalence notions for concurrent systems 2001 63 63 83%
BASIC NOTIONS OF TRACE THEORY 1989 47 17 88%
A SURVEY OF EQUIVALENCE NOTIONS FOR NET BASED SYSTEMS 1992 1 36 64%
ESPRIT BASIC RESEARCH ACTION-3148 D-]E-]M-]O-]N (DESIGN METHODS BASED ON NETS) - AIMS, SCOPE AND ACHIEVEMENTS 1992 0 30 73%
MODULAR CONSTRUCTION AND PARTIAL ORDER SEMANTICS OF PETRI NETS 1992 0 47 68%

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 ANGEW INFORMAT 13 71% 0.8% 10
2 PODSTAW INFORMAT 4 67% 0.3% 4
3 ERSHOV INFORMAT SYST 4 20% 1.3% 16
4 CNRS URA 369 3 60% 0.2% 3
5 PARALLEL SYST 2 43% 0.2% 3
6 GDANSK BRANCH 1 100% 0.2% 2
7 LEHRSTUHL ANGEWANDTE INFORMAT 1 100% 0.2% 2
8 FORMALE METHODEN INFORMAT 1 18% 0.6% 7
9 URA 2236 1 30% 0.2% 3
10 INFORMAT 7 1 40% 0.2% 2

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000237076 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
2 0.0000151242 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
3 0.0000149460 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3
4 0.0000121404 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS
5 0.0000095554 PETRI NETS//DEADLOCK PREVENTION//DEADLOCK AVOIDANCE
6 0.0000087879 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
7 0.0000081490 PROCESS CALCULI//PI CALCULUS//THE PI CALCULUS
8 0.0000076720 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
9 0.0000069648 TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS
10 0.0000067627 AUTOMATIC STRUCTURES//BOREL HIERARCHY//INFINITARY RATIONAL RELATIONS