Information Technology Reference
In-Depth Information
8. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the
construction and analysis of distributed processes. In: Damm, W., Hermanns, H.
(eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
9. Arbab, F.: Reo: A channel-based coordination model for component composition.
Mathematical Structures in Computer Science 14, 329-366 (2004)
10. Baeten, J., Basten, T., Reniers, M.: Process Algebra: Equational Theories of
Communicating Processes in Cambridge Tracts in Theoretical Computer Science,
vol. 50. CUP, Cambridge (2010)
11. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs
(1989)
12. Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model
Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002.
LNCS, vol. 2324, pp. 200-204. Springer, Heidelberg (2002)
13. Khosravi, R., Sirjani, M., Asoudeh, N., Sahebi, S., Iravanchi, H.: Modeling and
analysis of Reo connectors using Alloy. In: Lea, D., Zavattaro, G. (eds.) COORDI-
NATION 2008. LNCS, vol. 5052, pp. 169-183. Springer, Heidelberg (2008)
14. Bonsangue, M., Izadi, M.: Automata based model checking for Reo connectors.
In: Arbab, F., Sirjani, M. (eds.) Fundamentals of Software Engineering. LNCS,
vol. 5961, pp. 260-275. Springer, Heidelberg (2010)
15. Kemper, S.: SAT-based verification for timed component connectors. Electronic
Notes in Theoretical Computer Science (ENTCS) 255, 103-118 (2009)
16. Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logical spec-
ifications for timed component connectors. Software and Systems Modeling 6(1),
59-82 (2007)
