On Architectural Support for Behaviour Refinement in Distributed Systems Design

Dick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen. On Architectural Support for Behaviour Refinement in Distributed Systems Design. Transactions of the SDPS, 6(1):1-30, 2002. [doi]

@article{QuartelPS02,
  title = {On Architectural Support for Behaviour Refinement in Distributed Systems Design},
  author = {Dick A. C. Quartel and Luís Ferreira Pires and Marten van Sinderen},
  year = {2002},
  url = {http://iospress.metapress.com/content/u3pxrydll276etp4/},
  researchr = {https://researchr.org/publication/QuartelPS02},
  cites = {0},
  citedby = {0},
  journal = {Transactions of the SDPS},
  volume = {6},
  number = {1},
  pages = {1-30},
}