%0 Journal Article %1 journals/scp/BianchiniD23 %A Bianchini, Riccardo %A Dagnino, Francesco %D 2023 %J Sci. Comput. Program. %K dblp %P 102895 %T QueryAGT: Asynchronous global types in co-logic programming. %U http://dblp.uni-trier.de/db/journals/scp/scp225.html#BianchiniD23 %V 225

@article{journals/scp/BianchiniD23, added-at = {2023-01-26T00:00:00.000+0100}, author = {Bianchini, Riccardo and Dagnino, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2ebb35ec28f9021d505fb93fab666a897/dblp}, ee = {https://doi.org/10.1016/j.scico.2022.102895}, interhash = {459f2dad1c86b9affc7265b0a584e39b}, intrahash = {ebb35ec28f9021d505fb93fab666a897}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102895, timestamp = {2024-04-09T05:29:21.000+0200}, title = {QueryAGT: Asynchronous global types in co-logic programming.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp225.html#BianchiniD23}, volume = 225, year = 2023 }