A Characterization of Distributed ASMs with Partial-Order Runs
暂无分享,去创建一个
[1] Klaus-Dieter Schewe,et al. Concurrent abstract state machines , 2016, Acta Informatica.
[2] Egon Börger,et al. Modeling Companion for Software Practitioners , 2018, Springer Berlin Heidelberg.
[3] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .
[4] Egon Börger,et al. Remarks on Turbo ASMs for Functional Equations and Recursion Schemes , 2003, Abstract State Machines.
[5] Moshe Y. Vardi. What is an algorithm? , 2012, Commun. ACM.
[6] Yuri Gurevich,et al. Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.
[7] Yuri Gurevich,et al. A New Thesis , 2017 .
[8] Klaus-Dieter Schewe,et al. A Behavioural Theory of Recursive Algorithms , 2020, Fundam. Informaticae.
[9] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.
[10] Haining,et al. A Behavioural Theory of Recursive Algorithms , 2020 .
[11] Andreas Blass,et al. Algorithms vs. Machines , 2002, Bull. EATCS.
[12] Yuri Gurevich,et al. Recursive Abstract State Machines , 2017, J. Univers. Comput. Sci..
[13] Richard Mayr,et al. Process rewrite systems , 1999, EXPRESS.
[14] Andreas Both,et al. On expanding protocol conformance checking to exception handling , 2013, Service Oriented Computing and Applications.