论文信息 - ASM Specification and Refinement of a Quantum Algorithm - 字舞流文

ASM Specification and Refinement of a Quantum Algorithm

Flavio Ferrarotti | Senén González

[1] Egon Börger,et al. The ASM Refinement Method , 2003, Formal Aspects of Computing.

[2] Klaus-Dieter Schewe,et al. A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis , 2015, Theor. Comput. Sci..

[3] Andreas Blass,et al. Abstract state machines capture parallel algorithms , 2003, TOCL.

[4] R. Stärk,et al. Abstract State Machines , 2003, Springer Berlin Heidelberg.

[5] Margaret Martonosi,et al. Programming languages and compiler design for realistic quantum hardware , 2017, Nature.

[6] Egon Börger,et al. Modeling Companion for Software Practitioners , 2018, Springer Berlin Heidelberg.

[7] Erich Grädel,et al. Quantum Computing and Abstract State Machines , 2003, Abstract State Machines.

[8] Yuri Gurevich,et al. Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.