Global Reproducibility Through Local Control for Distributed Active Objects

DOI10.1007/978-3-030-45234-6_7OpenAlexW3017816395MaRDI QIDQ5039528

Rudolf Schlatte, Einar Broch Johnsen, Lars Tveito

Publication date: 13 October 2022

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-45234-6_7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• veriSoft
• Erlang
• Syco
• ABS
• JCobox
• CauDEr

Cites Work

• Unnamed Item
• A sound and complete reasoning system for asynchronous communication with shared futures
• Integrating deployment architectures and resource consumption in timed object-oriented models
• It's all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab
• Cauder: a causal-consistent reversible debugger for Erlang
• Context-sensitive dynamic partial order reduction
• Time, clocks, and the ordering of events in a distributed system
• Parallel Cost Analysis
• Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
• Dynamic partial-order reduction for model checking software
• Optimal dynamic partial order reduction

This page was built for publication: Global Reproducibility Through Local Control for Distributed Active Objects