Funder
Austrian Research Promotion Agency
Subject
Computer Networks and Communications,Human-Computer Interaction,Software
Reference73 articles.
1. Abstract State Machines;Börger,2003
2. Modeling Companion for Software Practitioners;Börger,2018
3. Sequential abstract-state machines capture sequential algorithms;Gurevich;ACM Trans. Comput. Log.,2000
4. Abstract state machines capture parallel algorithms;Blass;ACM Trans. Comput. Log.,2003
5. Abstract state machines capture parallel algorithms: Correction and extension;Blass;ACM Trans. Comput. Log.,2008
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献