Cargando…
Global Reproducibility Through Local Control for Distributed Active Objects
Non-determinism in a concurrent or distributed setting may lead to many different runs or executions of a program. This paper presents a method to reproduce a specific run for non-deterministic actor or active object systems. The method is based on recording traces of events reflecting local transit...
Autores principales: | Tveito, Lars, Johnsen, Einar Broch, Schlatte, Rudolf |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7418128/ http://dx.doi.org/10.1007/978-3-030-45234-6_7 |
Ejemplares similares
-
Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic
por: Stenseth, Nils Chr., et al.
Publicado: (2023) -
How to avoid a local epidemic becoming a global pandemic
por: Stenseth, Nils Chr., et al.
Publicado: (2023) -
Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
por: Johnsen, Einar Broch, et al.
Publicado: (2018) -
Tests and proofs: 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017, proceedings
por: Gabmeyer, Sebastian, et al.
Publicado: (2017) -
Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday
por: Ábrahám, Erika, et al.
Publicado: (2016)