%0 Journal Article %1 journals/corr/abs-2309-09148 %A Zhao, Yongwang %A Sanán, David %D 2023 %J CoRR %K dblp %T Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications. %U http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-09148 %V abs/2309.09148

@article{journals/corr/abs-2309-09148, added-at = {2023-09-22T00:00:00.000+0200}, author = {Zhao, Yongwang and Sanán, David}, biburl = {https://www.bibsonomy.org/bibtex/283890960cfdf610eaf534fcd1f002ecf/dblp}, ee = {https://doi.org/10.48550/arXiv.2309.09148}, interhash = {fc6a054f05995ff9b97dd699ee43a47e}, intrahash = {83890960cfdf610eaf534fcd1f002ecf}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:16:48.000+0200}, title = {Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-09148}, volume = {abs/2309.09148}, year = 2023 }