@INPROCEEDINGS{ABCLM:WADT2008:TFR,
  title = {{Tiles for Reo}},
  author = {{Farhad} {Arbab} and {Roberto} {Bruni} and {David} {Clarke} and {Ivan} {Lanese} and {Ugo} {Montanari}},
  booktitle = {Proceedings of WADT 2008, 19th International Workshop on Algebraic Development Techniques},
  editor = {Corradini and  A. and Gadducci and  F.},
  pages = {37-55},
  abstract = { Reo is an exogenous coordination model for software components. The informal semantics of Reo has been matched by several proposals of formalization, exploiting co-algebraic techniques, constraint-automata, and coloring tables. We aim to show that the Tile Model offers a flexible and adequate semantic setting for Reo, such that: (i) it is able to capture context-aware behavior; (ii) it is equipped with a natural notion of behavioral equivalence which is compositional; (iii) it offers a uniform setting for representing not only the ordinary execution of Reo systems but also dynamic reconfiguration strategies. },
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5486},
  year = {2009},
  url = {http://rap.dsi.unifi.it/sensoriasite/wadt2008.pdf},
  doi = {10.1007/978-3-642-03429-9},
  invited = {N},
  keywords = {Reo, Tile model},
  partner = {PISA, UNIBO},
  status = {public},
  task = {T5.1},
}