@inproceedings{stefani:hal-02313751, TITLE = {{Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework}}, AUTHOR = {Stefani, Jean-Bernard and Vassor, Martin}, URL = {https://inria.hal.science/hal-02313751}, NOTE = {Part 1: Full Papers}, BOOKTITLE = {{FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)}}, ADDRESS = {Copenhagen, Denmark}, EDITOR = {Jorge A. P{\'e}rez and Nobuko Yoshida}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Formal Techniques for Distributed Objects, Components, and Systems}, VOLUME = {LNCS-11535}, PAGES = {242-260}, YEAR = {2019}, MONTH = Jun, DOI = {10.1007/978-3-030-21759-4\_14}, PDF = {https://inria.hal.science/hal-02313751/file/478668_1_En_14_Chapter.pdf}, HAL_ID = {hal-02313751}, HAL_VERSION = {v1}, }