Farhad Arbab (2003):
Abstract Behavior Types: A Foundation Model for Components and Their Composition.
In: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf & Willem-Paul de Roever: Formal Methods for Components and Objects,
Lecture Notes in Computer Science 2852.
Springer,
pp. 33–70,
doi:10.1007/978-3-540-39656-7_2.
Farhad Arbab (2004):
Reo: a channel-based coordination model for component composition.
Mathematical Structures in Computer Science 14(3),
pp. 329–366,
doi:10.1017/S0960129504004153.
Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, YoungJoo Moon & Chrétien Verhoef (2009):
From Coordination to Stochastic Models of QoS.
In: John Field & Vasco Vasconcelos: Coordination Models and Languages,
Lecture Notes in Computer Science 5521.
Springer,
pp. 268–287,
doi:10.1007/978-3-642-02053-7_14.
Adnan Aziz, Kumud Sanwal, Vigyan Singhal & Robert Brayton (2000):
Model-checking continuous-time Markov chains.
Transactions on Computational Logic 1,
pp. 162–170,
doi:10.1145/343369.343402.
Jos C. M. Baeten (2005):
A brief history of process algebra.
Theoretical Computer Science 335(2-3),
pp. 131–146,
doi:10.1016/j.tcs.2004.07.036.
Christel Baier, Boudewijn Haverkort, Holger Hermanns & Joost P. Katoen (2003):
Model-Checking Algorithms for Continuous-Time Markov Chains.
IEEE Transactions on Software Engineering 29(6),
pp. 524–541,
doi:10.1109/TSE.2003.1205180.
Marcello M. Bonsangue, Dave Clarke & Alexandra Silva (2012):
A model of context-dependent component connectors.
Science of Computer Programming 77(6),
pp. 685–706,
doi:10.1016/j.scico.2011.01.006.
D. Gelernter & N. Carrier (1992):
Coordination Languages and their significance.
Communication of the ACM 2(35),
pp. 97–107,
doi:10.1145/129630.129635.
Holger Hermanns (2002):
Interactive Markov Chains: The Quest for Quantified Quality.
Lecture Notes in Computer Science 2428.
Springer,
Berlin, Heidelberg,
doi:10.1007/3-540-45804-2_7.
Young-Joo Moon (2011):
Stochastic Models for Quality of Service of Component Connectors.
Universiteit Leiden.
Young-Joo Moon, Alexandra Silva, Christian Krause & Farhad Arbab (2014):
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.
Science of Computer Programming 80,
pp. 3–24,
doi:10.1016/j.scico.2011.11.007.
Nuno Oliveira (2015):
Architectural reconfiguration of interacting services.
Universidades do Minho, Aveiro and Porto (Joint MAP-i Doctoral Programme).
Nuno Oliveira, Alexandra Silva & Luis S. Barbosa (2015):
IMC_Reo: interactive Markov chains for stochastic Reo.
Journal of Internet Services and Information Security 5(1),
pp. 3–28.
eptcs@eptcs.org