Distributed Adaptive Systems

DOI10.1007/978-3-319-91271-4_2MaRDI QIDQ5881446zbMATH OpenOpenAlexFDO

Authors Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang

Publication date 10 March 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-91271-4_2

zbMATH Keywords

abstract state machinesadaptive distributed systemsdynamic function symbolsparallel ASMsreflection algorithm

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrent abstract state machines
• Adaptable transition systems
• An ASM-characterization of a class of distributed algorithms
• A Logic for Reflective ASMs
• Distributed cooperation with action systems

Cites work

• A behavioural theory for reflective sequential algorithms
• A calculus of communicating systems
• A complete logic for database abstract state machines
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Abstract State Machines
• Abstract state machines capture parallel algorithms
• Abstract state machines capture parallel algorithms: correction and extension
• Concurrent abstract state machines
• Evolving Algebras 1993: Lipari Guide
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• scientific article; zbMATH DE number 5855088 (Why is no real title available?)
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 5605119 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2172804 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Sequential abstract-state machines capture sequential algorithms
• Temporal logic and state systems
• The ASM refinement method
• XML database transformations

Cited in

(2)

• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• ASM-based formal design of an adaptivity component for a cloud system

Describes a project that uses

Uses Software

• RGITL

This page was built for publication: Distributed Adaptive Systems

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