@inproceedings{lienhardt:hal-00909382, TITLE = {{An Object Group-Based Component Model}}, AUTHOR = {Lienhardt, Michael and Bravetti, Mario and Sangiorgi, Davide}, URL = {https://inria.hal.science/hal-00909382}, BOOKTITLE = {{ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012}}, ADDRESS = {Heraklion, Crete, Greece}, EDITOR = {Tiziana Margaria and Bernhard Steffe}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {7609}, PAGES = {64--78}, YEAR = {2012}, DOI = {10.1007/978-3-642-34026-0\_6}, HAL_ID = {hal-00909382}, HAL_VERSION = {v1}, }