Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 5489 | 1550 | 26.6 | 30% |
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 CALCULI | Author keyword | 34 | 52% | 3% | 47 |
| 2 | PI CALCULUS | Author keyword | 23 | 29% | 4% | 69 |
| 3 | THE PI CALCULUS | Author keyword | 18 | 89% | 1% | 8 |
| 4 | SESSION TYPES | Author keyword | 16 | 54% | 1% | 20 |
| 5 | MOBILE AMBIENTS | Author keyword | 10 | 54% | 1% | 13 |
| 6 | AMBIENT CALCULUS | Author keyword | 9 | 48% | 1% | 14 |
| 7 | COORDINATION LANGUAGES | Author keyword | 8 | 39% | 1% | 17 |
| 8 | ASYNCHRONOUS PI CALCULUS | Author keyword | 8 | 100% | 0% | 5 |
| 9 | TUPLE SPACES | Author keyword | 8 | 39% | 1% | 16 |
| 10 | MOBILE PROCESSES | Author keyword | 7 | 48% | 1% | 11 |
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 CALCULI | 34 | 52% | 3% | 47 | Search PROCESS+CALCULI | Search PROCESS+CALCULI |
| 2 | PI CALCULUS | 23 | 29% | 4% | 69 | Search PI+CALCULUS | Search PI+CALCULUS |
| 3 | THE PI CALCULUS | 18 | 89% | 1% | 8 | Search THE+PI+CALCULUS | Search THE+PI+CALCULUS |
| 4 | SESSION TYPES | 16 | 54% | 1% | 20 | Search SESSION+TYPES | Search SESSION+TYPES |
| 5 | MOBILE AMBIENTS | 10 | 54% | 1% | 13 | Search MOBILE+AMBIENTS | Search MOBILE+AMBIENTS |
| 6 | AMBIENT CALCULUS | 9 | 48% | 1% | 14 | Search AMBIENT+CALCULUS | Search AMBIENT+CALCULUS |
| 7 | COORDINATION LANGUAGES | 8 | 39% | 1% | 17 | Search COORDINATION+LANGUAGES | Search COORDINATION+LANGUAGES |
| 8 | ASYNCHRONOUS PI CALCULUS | 8 | 100% | 0% | 5 | Search ASYNCHRONOUS+PI+CALCULUS | Search ASYNCHRONOUS+PI+CALCULUS |
| 9 | TUPLE SPACES | 8 | 39% | 1% | 16 | Search TUPLE+SPACES | Search TUPLE+SPACES |
| 10 | MOBILE PROCESSES | 7 | 48% | 1% | 11 | Search MOBILE+PROCESSES | Search MOBILE+PROCESSES |
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 | PI CALCULUS | 87 | 46% | 9% | 142 |
| 2 | MOBILE PROCESSES | 69 | 49% | 7% | 104 |
| 3 | LINDA | 53 | 50% | 5% | 77 |
| 4 | MOBILE AMBIENTS | 37 | 55% | 3% | 46 |
| 5 | KLAIM | 23 | 76% | 1% | 16 |
| 6 | SAFE AMBIENTS | 22 | 81% | 1% | 13 |
| 7 | NAME PASSING CALCULI | 18 | 89% | 1% | 8 |
| 8 | CHI PROCESSES | 14 | 100% | 0% | 7 |
| 9 | CODE MOBILITY | 13 | 80% | 1% | 8 |
| 10 | TUPLE SPACES | 10 | 73% | 1% | 8 |
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 | 4 | 10% | 2% | 34 |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| Space-time programming | 2015 | 1 | 14 | 57% |
| Coordination models and languages: from parallel computing to self-organisation | 2011 | 6 | 14 | 71% |
| Tuplespace-based computing for the Semantic Web: a survey of the state-of-the-art | 2008 | 17 | 14 | 64% |
| Algorithmic Systems Biology | 2009 | 34 | 22 | 23% |
| Algorithms for checking channel passing in web service choreography | 2013 | 1 | 8 | 38% |
| COMPUTATIONAL MODELING OF BIOLOGICAL PATHWAYS BY EXECUTABLE BIOLOGY | 2011 | 2 | 28 | 39% |
| Middleware proposals for mobile ad hoc networks | 2014 | 0 | 20 | 35% |
| A survey of coordination middleware for XML-centric applications | 2002 | 0 | 11 | 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 | FOCUS TEAM | 6 | 100% | 0.3% | 4 |
| 2 | FLP | 4 | 75% | 0.2% | 3 |
| 3 | BASICS | 4 | 29% | 0.7% | 11 |
| 4 | BDCC | 3 | 100% | 0.2% | 3 |
| 5 | MOE MS INTELLIGENT COMP INTELLIGENT SYS | 3 | 60% | 0.2% | 3 |
| 6 | EQUIPE PPS | 2 | 31% | 0.3% | 5 |
| 7 | DIPARTIMENTO INFORMAT TELECOMUNICAZ | 1 | 18% | 0.5% | 7 |
| 8 | UMR CNRS ENS LYON UCBL INRIA 5668 | 1 | 50% | 0.1% | 2 |
| 9 | UMR CNRS UCBL INRIA 5668 | 1 | 100% | 0.1% | 2 |
| 10 | OBJECT SYST GRP | 1 | 33% | 0.2% | 3 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000180944 | PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP |
| 2 | 0.0000141759 | SECURITY PROTOCOLS//DOLEV YAO MODEL//CRYPTOGRAPHIC PROTOCOLS |
| 3 | 0.0000107778 | MOBILE AGENTS//MOBILE AGENT PLANNING//C C PLUS PLUS INTERPRETER |
| 4 | 0.0000101476 | BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC |
| 5 | 0.0000097082 | INHERITANCE ANOMALY//OBJECT ORIENTED CONCURRENT PROGRAMMING//CONCURRENCY ANNOTATIONS |
| 6 | 0.0000091634 | CHAIR SOFTWARE TECHNOL//COALGEBRA//FINAL COALGEBRA |
| 7 | 0.0000089745 | SOFTWARE ENGN BUSINESS INFORMAT SYST//ADAPTATION CONTRACTS//PARAMETERISED CONTRACTS |
| 8 | 0.0000081490 | PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//LEHRSTUHL ANGEW INFORMAT |
| 9 | 0.0000077345 | INDOOR CARTOGRAPHY//USER NAVIGATION//AUTORUN |
| 10 | 0.0000068634 | TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING |