Author:
Bruni Roberto,Montanari Ugo,Sammartino Matteo
Publisher
Springer International Publishing
Reference41 articles.
1. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. in Comp. Sci. 14(3), 329–366 (2004)
2. Lecture Notes in Computer Science;F. Arbab,2009
3. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Mathematical Structures in Computer Science 15(1), 1–35 (2005)
4. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM’06, pp. 3–12. IEEE Computer Society Press, Los Alamitos (2006)
5. Bliudze, S., Sifakis, J.: The algebra of connectors - structuring interaction in BIP. IEEE Trans. Computers 57(10), 1315–1330 (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework;Formal Techniques for Distributed Objects, Components, and Systems;2019
2. Empirical Evidences in Software-Defined Network Security: A Systematic Literature Review;Studies in Computational Intelligence;2016-10-22
3. The Autonomic Cloud;Software Engineering for Collective Autonomic Systems;2015
4. Tools for Ensemble Design and Runtime;Software Engineering for Collective Autonomic Systems;2015
5. Methodological Guidelines for Engineering Self-organization and Emergence;Software Engineering for Collective Autonomic Systems;2015