Computer Science
communicating sequential process
100%
Formalization
60%
Process Analysis
36%
Remote Procedure Call
31%
Deadlock Freedom
31%
model checker
31%
Process Algebra
29%
Kafka
23%
Sequential Process
23%
Transactional Memory
23%
Python Software
23%
Broadcast Protocol
23%
formal modeling
23%
Formal Verification
23%
fault-tolerance
18%
Smart Contract
15%
Process Description
15%
Service Registration
15%
Authentication Mechanism
15%
Modeling Process
15%
Parallelism
14%
Major Property
11%
Formal Framework
11%
Timed Automaton
11%
Acknowledgement Message
11%
Mutual Exclusion
11%
Router Architecture
11%
Behavior Module
11%
Internet of Vehicles
11%
Internet-Of-Things
11%
Concurrent Access
11%
Wireless Network
11%
Link State Routing Protocol
11%
Transport Layer Security
11%
Partition Tolerance
11%
Session Initiation Protocol
11%
Concurrency Control
11%
Access Control
11%
Eventual Consistency
11%
Denotational Semantics
11%
Vehicular Ad-Hoc Network
11%
Security Analysis
11%
Public Key Certificate
10%
Messaging System
9%
Cloud Computing
9%
Security protocols
9%
Data Security
8%
consistency checking
7%
Access Control Policy
7%
Intelligent Transportation System
6%
