@inproceedings{9ea7cdc9656c43709b7ab30d3fe6bb1d,
title = "Distributed adaptive systems: Theory, specification, reasoning",
abstract = "A distributed system can be characterised by autonomously acting agents, where each agent executes its own program, uses shared resources and communicates with the others, but otherwise is totally oblivious to the behaviour of the other agents. In a distributed adaptive system agents may change their programs, and enter or leave the collection at any time thereby changing the behaviour of the overall system. This article first develops a language-independent axiomatic definition of distributed adaptive systems and then presents concurrent reflective Abstract State Machines (crASMs), an abstract machine model for their specification. It can be proven that any distributed adaptive system as stipulated by the axiomatisation can be step-by-step simulated by a crASM. Proofs about crASMs can be grounded in a multiple-step logic, which extends known complete one-step logics for deterministic and non-deterministic ASMs.",
author = "Schewe, \{Klaus Dieter\} and Flavio Ferrarotti and Loredana Tec and Qing Wang",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG, part of Springer Nature 2018.; 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 ; Conference date: 05-06-2018 Through 08-06-2018",
year = "2018",
doi = "10.1007/978-3-319-91271-4\_2",
language = "English",
isbn = "9783319912707",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "16--30",
editor = "Michael Butler and Hoang, \{Thai Son\} and Alexander Raschke and Klaus Reichl",
booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings",
address = "Germany",
}