Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and Temporal Logics for Timed Component Connectors. In: Cuellar, J.R., Liu, Z. (eds.) SEFM2004. 2nd International Conference on Software Engineering and Formal Methods, pp. 198–207. IEEE Computer Society Press, Los Alamitos (2004)
3. Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)
4. ENTCS;F. Arbab,2003
5. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61, 75–113 (2006)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ARx: Reactive Programming for Synchronous Connectors;Lecture Notes in Computer Science;2020
2. Using PVS for Modeling and Verification of Probabilistic Connectors;Fundamentals of Software Engineering;2019
3. Capturing Stochastic and Real-Time Behavior in Reo Connectors;Lecture Notes in Computer Science;2017
4. Coordinating Multicore Computing;Lecture Notes in Computer Science;2015
5. Puff, The Magic Protocol;Formal Modeling: Actors, Open Systems, Biological Systems;2011