Global reproducibility through local control for distributed active objects

DOI10.1007/978-3-030-45234-6_7MaRDI QIDQ5039528zbMATH OpenOpenAlexFDO

Authors Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte

Publication date 13 October 2022

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

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• scientific article; zbMATH DE number 1844543
• scientific article; zbMATH DE number 4003498
• Active Objects with Deterministic Behaviour
• Methods for controlled execution of nondeterministic communicating programs
• Computational Science – ICCS 2005

Cites work

• A sound and complete reasoning system for asynchronous communication with shared futures
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Context-sensitive dynamic partial order reduction
• Dynamic partial-order reduction for model checking software
• scientific article; zbMATH DE number 1823195 (Why is no real title available?)
• 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
• Optimal dynamic partial order reduction
• Parallel cost analysis
• Time, clocks, and the ordering of events in a distributed system

Cited in

(3)

• Methods for controlled execution of nondeterministic communicating programs
• Guaranteed global performance through local coordinations
• Computational Science – ICCS 2005

Describes a project that uses

Uses Software

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

This page was built for publication: Global reproducibility through local control for distributed active objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039528)