Author:
Jongmans S.-S.T.Q.,Kappé T.,Arbab F.
Reference50 articles.
1. Reo: a channel-based coordination model for component composition;Arbab;Math. Struct. Comput. Sci.,2004
2. The Magic Protocol;Arbab Puff,2011
3. Overview of thirty semantic formalisms for Reo;Jongmans;Sci. Ann. Comput. Sci.,2012
4. Modeling component connectors in Reo by constraint automata;Baier;Sci. Comput. Program.,2006
5. Automata-Theoretic Protocol Programming;Jongmans,2016
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent NetKAT with Ports;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
2. From symbolic constraint automata to Promela;Journal of Logical and Algebraic Methods in Programming;2022-08
3. Hubs for VirtuosoNext: Online verification of real-time coordinators;Science of Computer Programming;2021-03
4. Soft constraint automata with memory;Journal of Logical and Algebraic Methods in Programming;2021-01
5. Multilabeled Petri Nets;Formal Aspects of Component Software;2020