@inproceedings{inproceedings, title = {{Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification}}, publisher = {{IEEE}}, url = {{}}, year = {{2007}}, month = {{1}}, author = {{Hameurlain N}}, doi = {{10.1109/sefm.2007.19}}, isbn = {{9780769528847}}, journal = {{Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)}}, note = {{Accessed on 2025/05/16}}}