Author:
Sun Jun,Liu Yang,Dong Jin Song,Chen Chunqing
Cited by
76 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Formal Analysis of Data Distribution Service Security;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07
2. A Stochastic Analysis of the Gasper Protocol;2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops);2024-03-11
3. PCSP# Denotational Semantics with an Application in Sports Analytics;Lecture Notes in Computer Science;2024
4. Smart contract generation for inter‐organizational process collaboration;Concurrency and Computation: Practice and Experience;2023-12-12
5. CSP based Formal Modeling and Verification of Behavior Trees;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22