1. A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers;IEEE Transactions on Cloud Computing;2023-10
2. Weakly Synchronous Systems with Three Machines Are Turing Powerful;Lecture Notes in Computer Science;2023
3. An architectural style for scalable choreography-based microservice-oriented distributed systems;Computing;2022-12-10
4. Modeling Interactions among Cyber-Physical Services;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
5. Formal Choreographic Languages;Lecture Notes in Computer Science;2022