Author:
Bezirgiannis Nikolaos,de Boer Frank,Johnsen Einar Broch,Pun Ka I,Tapia Tarifa S. Lizeth
Publisher
Springer International Publishing
Reference35 articles.
1. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60–61, 17–139 (2004)
2. Bijo, S., Johnsen, E.B., Pun, K.I, Tapia Tarifa, S.L.: A formal model of parallel execution on multicore architectures with multilevel caches. In: Proença, J., Lumpe, M. (eds.) FACS 2017. LNCS, vol. 10487, pp. 58–77. Springer, Cham (2017).
https://doi.org/10.1007/978-3-319-68034-7_4
3. Clavel, M., et al. (eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, vol. 4350. Springer, Heidelberg (2007).
https://doi.org/10.1007/978-3-540-71999-1
4. Lecture Notes in Computer Science;EB Johnsen,2011
5. Boer, F.D., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1–76:39 (2017)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving Correctness of Parallel Implementations of Transition System Models;ACM Transactions on Programming Languages and Systems;2024-04-20
2. Simulating User Journeys with Active Objects;Lecture Notes in Computer Science;2024
3. Deductive verification of active objects with Crowbar;Science of Computer Programming;2023-03
4. The ABS simulator toolchain;Science of Computer Programming;2022-11
5. From post-conditions to post-region invariants;Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control;2021-05-19