Fiona Polack, Susan Stepney.
Emergent Properties do not Refine.

REFINE 2005 workshop, Guildford, UK, April 2005 . Electronic Notes in Theoretical Computer Science, 137(2):163-181. Elsevier, 2005

Abstract:

Refinement is conventionally used to effect a demonstrably-correct development from an abstract specification. Emergent systems present an interesting challenge in terms of demonstrably-correct development, because there is a discontinuity between the global and local system descriptions. This is a position paper, exploring some aspects of the challenge in relation to the traditional model of refinement.

@inproceedings(SS-REFINE05,
  author = "Fiona Polack and Susan Stepney",
  title = "Emergent Properties do not Refine",
  pages = "163--181",
  crossref = "REFINE05"
)

@proceedings(REFINE05,
  title = "REFINE 2005 Workshop, Guildford, UK, April 2005",
  booktitle = "REFINE 2005 Workshop, Guildford, UK, April 2005",
  series = "ENTCS",
  volume = 137,
  number = 2,
  publisher = "Elsevier",
  year = 2005
)