印 佳奇

Computer Science

1. communicating sequential process 100%
2. Formalization 60%
3. Process Analysis 36%
4. Remote Procedure Call 31%
5. Deadlock Freedom 31%
6. model checker 31%
7. Process Algebra 29%
8. Kafka 23%
9. Sequential Process 23%
10. Transactional Memory 23%
11. Python Software 23%
12. Broadcast Protocol 23%
13. formal modeling 23%
14. Formal Verification 23%
15. fault-tolerance 18%
16. Smart Contract 15%
17. Process Description 15%
18. Service Registration 15%
19. Authentication Mechanism 15%
20. Modeling Process 15%
21. Parallelism 14%
22. Major Property 11%
23. Formal Framework 11%
24. Timed Automaton 11%
25. Acknowledgement Message 11%
26. Mutual Exclusion 11%
27. Router Architecture 11%
28. Behavior Module 11%
29. Internet of Vehicles 11%
30. Internet-Of-Things 11%
31. Concurrent Access 11%
32. Wireless Network 11%
33. Link State Routing Protocol 11%
34. Transport Layer Security 11%
35. Partition Tolerance 11%
36. Session Initiation Protocol 11%
37. Concurrency Control 11%
38. Access Control 11%
39. Eventual Consistency 11%
40. Denotational Semantics 11%
41. Vehicular Ad-Hoc Network 11%
42. Security Analysis 11%
43. Public Key Certificate 10%
44. Messaging System 9%
45. Cloud Computing 9%
46. Security protocols 9%
47. Data Security 8%
48. consistency checking 7%
49. Access Control Policy 7%
50. Intelligent Transportation System 6%