%0 Journal Article %1 journals/mscs/Chatzikokolakis16 %A Chatzikokolakis, Konstantinos %A Palamidessi, Catuscia %A Braun, Christelle %D 2016 %J Math. Struct. Comput. Sci. %K %N 6 %P 908-932 %T Compositional methods for information-hiding. %U http://dblp.uni-trier.de/db/journals/mscs/mscs26.html#Chatzikokolakis16 %V 26

@article{journals/mscs/Chatzikokolakis16, added-at = {2023-12-12T20:51:55.000+0100}, author = {Chatzikokolakis, Konstantinos and Palamidessi, Catuscia and Braun, Christelle}, biburl = {https://www.bibsonomy.org/bibtex/2e67cba1fb1f240254635e490d9bb464e/admin}, ee = {https://doi.org/10.1017/S0960129514000292}, interhash = {3582216f43f969b3a565c1fe96ae617b}, intrahash = {e67cba1fb1f240254635e490d9bb464e}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 6, pages = {908-932}, timestamp = {2023-12-12T20:51:55.000+0100}, title = {Compositional methods for information-hiding.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs26.html#Chatzikokolakis16}, volume = 26, year = 2016 }