INIS
data
100%
algebra
66%
space
66%
environment
64%
implementation
64%
tools
64%
programming
57%
performance
57%
efficiency
57%
calculation methods
42%
information
38%
production
35%
optimization
28%
assignments
28%
workers
28%
mapping
28%
solutions
28%
interactions
28%
explosions
28%
security
28%
modeling
14%
allocations
14%
transformations
14%
increasing
14%
speed
14%
men
9%
approximations
7%
engineering
7%
computer codes
7%
stability
7%
resources
7%
Keyphrases
Workbench
28%
Anemone
28%
Bipartite Matching
28%
Injective Mapping
28%
Program Correctness
28%
Asynchronously
28%
Means of Information
28%
Concurrency Theory
28%
Coordination Languages
28%
Data-centric
28%
Expressiveness
28%
Process Algebra
21%
Increased Performance
14%
Reachability Logic
14%
Logic Formulas
14%
Concurrency
14%
Performance Issues
14%
Synchronization Algorithm
14%
Synchronous Process
14%
State Space Explosion
14%
Shared Space
14%
Program Transformation
14%
Production Environment
9%
Task Assignment
9%
Orthogonal Matching
9%
Worker number
9%
Internal Representation
7%
LTL Formulas
7%
Programming Environments
7%
Concurrent Systems
7%
Traditional Process
7%
Experiment Program
5%
Man-in-the-middle Attack
5%
Synchronous Communication
5%
Needham
5%
Communications-based
5%
Computer Science
Concurrency
57%
Model Checking
42%
Research Effort
28%
Concurrent System
28%
Programming Environment
28%
Internal Representation
28%
bipartite matching
28%
Process Algebra
28%
State Space
28%
Performance Issue
28%
Temporal Logic
14%
Program Transformation
14%
Synchronous Communication
14%
Man-in-the-Middle Attack
14%
Production Environment
9%