Mathematics
Concurrency
100%
Logic
69%
Distributed Systems
54%
Concurrent
53%
Type Systems
52%
Calculus
45%
Language
38%
Quantifiers
36%
Linear Logic
33%
Communication
31%
Undecidability
25%
Communication Protocol
23%
Elimination
21%
Dynamic Reconfiguration
21%
Concurrent Systems
21%
Logical operator
19%
Data Security
18%
Concurrency Control
18%
Express
18%
Type Theory
18%
Interpretation
17%
Higher Order
17%
Specification
17%
Object
17%
Resources
17%
Information Flow
14%
Proposition
14%
Linearity
14%
Strong Normalization
14%
Observation
14%
Equivalence
14%
Recursion
14%
Confluence
13%
Nondeterminism
13%
Polymorphism
13%
Logic Programming
13%
Fragment
13%
Logic Programs
12%
Interaction
12%
Preservation
12%
Operator
11%
Independence
11%
Modality
11%
Programming
11%
Security Policy
10%
Reasoning
10%
Fidelity
10%
Genericity
10%
Process Calculi
10%
Standards
10%
Engineering & Materials Science
Chemical analysis
70%
Network protocols
45%
Polymorphism
27%
Communication
26%
Computer programming languages
25%
Semantics
25%
Model checking
23%
Specifications
20%
Compliance
14%
Concurrency control
14%
Flavors
14%
Message passing
13%
Logic programming
13%
Object oriented programming
12%
Computer programming
11%
Atoms
11%
Security of data
10%
Abstract data types
7%
Data storage equipment
7%
Data structures
5%
Synchronization
5%
Containers
5%