%0 Journal Article %1 journals/pacmpl/GondelmanHPTB23 %A Gondelman, Léon %A Hinrichsen, Jonas Kastberg %A Pereira, Mário %A Timany, Amin %A Birkedal, Lars %D 2023 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 847-877 %T Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#GondelmanHPTB23 %V 7

@article{journals/pacmpl/GondelmanHPTB23, added-at = {2024-02-10T00:00:00.000+0100}, author = {Gondelman, Léon and Hinrichsen, Jonas Kastberg and Pereira, Mário and Timany, Amin and Birkedal, Lars}, biburl = {https://www.bibsonomy.org/bibtex/286b069181c2ae34e5d6b4041ab8b01fc/dblp}, ee = {https://doi.org/10.1145/3607859}, interhash = {a90470e05d16ec509af2ba77b88b06df}, intrahash = {86b069181c2ae34e5d6b4041ab8b01fc}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {August}, number = {ICFP}, pages = {847-877}, timestamp = {2024-04-08T09:54:06.000+0200}, title = {Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#GondelmanHPTB23}, volume = 7, year = 2023 }