%0 Journal Article %1 journals/corr/LopezNN16 %A López, Hugo A. %A Nielson, Flemming %A Nielson, Hanne Riis %D 2016 %J CoRR %K %T A Theory of Available-by-Design Communicating Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1611.html#LopezNN16 %V abs/1611.05651

@article{journals/corr/LopezNN16, added-at = {2023-12-14T14:34:30.000+0100}, author = {López, Hugo A. and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/2ee4ae894f9c6ad0daa68109c6d5050d5/admin}, ee = {http://arxiv.org/abs/1611.05651}, interhash = {e0e621d5de20514a2764335d5e4659bb}, intrahash = {ee4ae894f9c6ad0daa68109c6d5050d5}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T14:34:30.000+0100}, title = {A Theory of Available-by-Design Communicating Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1611.html#LopezNN16}, volume = {abs/1611.05651}, year = 2016 }