@article{tamura:hal-00911844, TITLE = {{QoS Contract Preservation through Dynamic Reconfiguration: A Formal Semantics Approach}}, AUTHOR = {Tamura, Gabriel and Casallas, Rubby and Cleve, Anthony and Duchien, Laurence}, URL = {https://inria.hal.science/hal-00911844}, JOURNAL = {{Science of Computer Programming}}, PUBLISHER = {{Elsevier}}, SERIES = {Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010)}, VOLUME = {94}, NUMBER = {3}, PAGES = {25}, YEAR = {2014}, DOI = {10.1016/j.scico.2013.12.003}, PDF = {https://inria.hal.science/hal-00911844/file/SCICO-D-11-00245R3.pdf}, HAL_ID = {hal-00911844}, HAL_VERSION = {v1}, }