Tiles for Reo

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5486 LNCS, Issue , 2009, Pages 37-55

  Arbab, Farhad ^a   Bruni, Roberto ^b   Clarke, Dave ^c   Lanese, Ivan ^d   Montanari, Ugo ^b  

^a CWI   (Netherlands)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF LEUVEN   (Belgium)

^d UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC TECHNIQUES; BEHAVIORAL EQUIVALENCE; CONTEXT-AWARE; COORDINATION MODEL; DYNAMIC RE-CONFIGURATION; INFORMAL SEMANTICS; SOFTWARE COMPONENT; TILE MODELS;

AUTOMATA THEORY; BUILDING MATERIALS; DYNAMIC MODELS; SEMANTICS;

ALGEBRA;

EID: 70349330841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03429-9_4     Document Type: Conference Paper

References (17)

1. Arbab, F.: Reo: A channel-based coordination model for component composition. Math. Struct. in Comput. Sci. 14(3), 1-38 (2004)
2. Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 34-55. Springer, Heidelberg (2003)
3. Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program 61(2), 75-113 (2006)
4. Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theoret. Comput. Sci. 366(1-2), 98-120 (2006)
5. Clarke, D., Costa, D., Arbab, F.: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program 66(3), 205-225 (2007)
6. Corradini, A., Montanari, U.: An algebraic semantics for structured transition systems and its application to logic programs. Theoret. Comput. Sci. 103, 51-106 (1992)
7. CWI. Reo home page, http://reo.project.cwi.nl
8. CWI. A repository of Reo connectors, http://homepages.cwi.nl/proenca/ webreo/
9. Gadducci, F., Montanar, U.: The tile model. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 133-166. MIT Press, Cambridge (2000)
10. Koehler, C., Arbab, F., de Vink, E.: Reconfiguring Distributed Reo Connectors. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 221-235. Springer, Heidelberg (2009)
11. Koehler, C., Costa, D., Proenca, J., Arbab, F.: Reconfiguration of Reo connectors triggered by dataflow. In: Ermel, C., Heckel, R., de Lara, J. (eds.) Proceedings of GT-VMT 2008. Elect. Communic. of the European Association of Software Science and Technology, vol. 10, pp. 1-13. EASST (2008)
12. Koehler, C., Lazovik, A., Arbab, F.: Connector rewriting with high-level replacement systems. In: Canal, C., Poizat, P., Viroli, M. (eds.) Proceedings of FOCLASA 2007. Elect. Notes in Th. Comput. Sci. Elsevier Science, Amsterdam (2007)
13. Larsen, K.G., Xinxin, L.: Compositionality through an operational semantics of contexts. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 526-539. Springer, Heidelberg (1990)
14. MacLane, S.: Categories for the working mathematician. Springer, Heidelberg (1971)
15. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci. 96, 73-155 (1992)
16. Montanari, U., Rossi, F.: Graph rewriting, constraint solving and tiles for coordinating distributed systems. Applied Categorical Structures 7(4), 333-370 (1999)
17. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60-61, 17-139 (2004)