Author:
Feng Hui,Arbab Farhad,Bonsangue Marcello
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;E Albert,2018
2. Anderson, C.J., et al.: NetKAT: semantic foundations for networks. ACM Sigplan Not. 49(1), 113–126 (2014)
3. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
4. Lecture Notes in Computer Science;F Arbab,2016
5. Arbab, F., Koehler, C., Maraikar, Z., Moon, Y.J., Proença, J.: Modeling, testing and executing Reo connectors with the eclipse coordination tools. Presented at the 5th International Workshop on Formal Aspects of Component Systems (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent NetKAT with Ports;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
2. Formal Modeling and Verification of Timed Connectors in IoT with Z3;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24
3. From symbolic constraint automata to Promela;Journal of Logical and Algebraic Methods in Programming;2022-08