Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets-Reference-Cited by-同舟云学术

Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets

Published:2016 Issue: Volume: Page:3-34
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Börger Egon

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-33600-8_1

Reference31 articles.

1. Börger, E.: Computability, Complexity, Logic (English translation of “Berechenbarkeit, Komplexität, Logik", Vieweg-Verlag 1985). Studies in Logic and the Foundations of Mathematics, vol. 128, North-Holland (1989)

2. Börger, E.: The origins and the development of the ASM method for high-level system design and analysis. J. Univ. Comput. Sci. 8(1), 2–74 (2002)

3. Lecture Notes in Computer Science;E Börger,2004

4. Börger, E.: The ASM refinement method. Formal Aspects Comput. 15, 237–257 (2003)

5. Börger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects Comput. 19, 225–241 (2007)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modal Extensions of the Logic of Abstract State Machines;Lecture Notes in Computer Science;2024

2. Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review;Procedia Computer Science;2018

3. Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines;Software Engineering and Formal Methods;2018

4. Intercepting Blackhole Attacks in MANETs: An ASM-based Model;Software Engineering and Formal Methods;2018

5. Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems;2017 5th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW);2017-08