Publisher
Springer Nature Switzerland
Reference134 articles.
1. Apel, S., Batory, D., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-37521-7
2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004). https://doi.org/10.1017/S0960129504004153
3. Communications in Computer and Information Science;F Arbab,2008
4. Arbab, F., Krause, C., Maraikar, Z., Moon, Y.J., Proença, J.: Modeling, testing and executing Reo connectors with the Eclipse coordination tools. Tool demo session of FACS 2008 (2008)
5. Atif, M., Groote, J.F.: Understanding Behaviour of Distributed Systems Using mCRL2. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-23008-0