Author:
Basu Samik,Bultan Tevfik,Ouederni Meriem
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Armstrong, J.: Getting Erlang to talk to the outside world. In: Proc. ACM SIGPLAN Workshop on Erlang, pp. 64–72 (2002)
2. Lecture Notes in Computer Science;G. Banavar,1999
3. Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proc. 20th Int. World Wide Web Conf., WWW (2011)
4. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proc. 39th Symp. Principles of Programming Languages, POPL (2012)
5. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synchronizability of Communicating Finite State Machines is not Decidable;Logical Methods in Computer Science;2023-12-20
2. A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers;IEEE Transactions on Cloud Computing;2023-10
3. 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
4. Compatibility checking for asynchronously communicating software;Science of Computer Programming;2021-05
5. On the k-synchronizability of Systems;Lecture Notes in Computer Science;2020