%0 Conference Paper %1 conf/asm/JiangXLGS21 %A Jiang, Fengqing %A Xiong, Neng %A Lian, Xinyu %A González, Senén %A Schewe, Klaus-Dieter %B ABZ %D 2021 %E Raschke, Alexander %E Méry, Dominique %I Springer %K dblp %P 118-123 %T Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. %U http://dblp.uni-trier.de/db/conf/asm/abz2021.html#JiangXLGS21 %V 12709 %@ 978-3-030-77543-8

@inproceedings{conf/asm/JiangXLGS21, added-at = {2021-06-09T00:00:00.000+0200}, author = {Jiang, Fengqing and Xiong, Neng and Lian, Xinyu and González, Senén and Schewe, Klaus-Dieter}, biburl = {https://www.bibsonomy.org/bibtex/2f13e158d7716af9c7f86b40628613e74/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2021}, editor = {Raschke, Alexander and Méry, Dominique}, ee = {https://doi.org/10.1007/978-3-030-77543-8_10}, interhash = {a9f28d786724a4d707b7a3e7f9aa2fe2}, intrahash = {f13e158d7716af9c7f86b40628613e74}, isbn = {978-3-030-77543-8}, keywords = {dblp}, pages = {118-123}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:11:53.000+0200}, title = {Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2021.html#JiangXLGS21}, volume = 12709, year = 2021 }