Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77543-8_10 ◽

2021 ◽

pp. 118-123

Author(s):

Fengqing Jiang ◽

Neng Xiong ◽

Xinyu Lian ◽

Senén González ◽

Klaus-Dieter Schewe

Download Full-text