Author:
Salaun Gwen,Bultan Tevfik,Roohi Nima
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Information Systems and Management,Computer Networks and Communications,Computer Science Applications,Hardware and Architecture
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Beauty and the Beast: Sok on Process Algebras and Cybersecurity;2024
2. Trustworthy Healthcare Cloud Storage Auditing Scheme (TCSHAS) with blockchain-based incentive mechanism;SN Applied Sciences;2023-11-15
3. A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers;IEEE Transactions on Cloud Computing;2023-10
4. A decentralized analysis of multiparty protocols;Science of Computer Programming;2022-10
5. Analyzing Realizability of BPMN Choreographies;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12