1. Lecture Notes in Computer Science;J Adámek,2012
2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
3. Baier, C.: Probabilistic models for Reo connector circuits. J. UCS 11(10), 1718–1748 (2005)
4. Dorsch, U., Milius, S., Milius, S., Schröder, L., Wißmann, T.: Efficient coalgebraic partition refinement. In: CONCUR. LIPIcs, vol. 85, pp. 32:1–32:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)
5. Goy, A.: Trace semantics via determinization for probabilistic transition systems. CoRR abs/1802.09084 (2018)