%0 Journal Article %1 journals/mscs/CapecchiCD16 %A Capecchi, Sara %A Castellani, Ilaria %A Dezani-Ciancaglini, Mariangiola %D 2016 %J Math. Struct. Comput. Sci. %K dblp %N 8 %P 1352-1394 %T Information flow safety in multiparty sessions. %U http://dblp.uni-trier.de/db/journals/mscs/mscs26.html#CapecchiCD16 %V 26

@article{journals/mscs/CapecchiCD16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Capecchi, Sara and Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola}, biburl = {https://www.bibsonomy.org/bibtex/2e4d814ea3c84e7191953703c253fc90d/dblp}, ee = {https://doi.org/10.1017/S0960129514000619}, interhash = {c56991cc118da706ec143b274b9e94f8}, intrahash = {e4d814ea3c84e7191953703c253fc90d}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 8, pages = {1352-1394}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {Information flow safety in multiparty sessions.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs26.html#CapecchiCD16}, volume = 26, year = 2016 }