On Activation, Connection, and Behavior in Dynamic Architectures

DOI10.7561/SACS.2016.2.187zbMath1424.68003OpenAlexW2724832863MaRDI QIDQ4621205

Diego Marmsoler, Mario Gleirscher

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2016.2.187

zbMATH Keywords

trace semanticsconfiguration tracesdynamic architecturesarchitecture specification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (2)

Runtime verification for dynamic architectures ⋮ Interactive verification of architectural design patterns in FACTum

This page was built for publication: On Activation, Connection, and Behavior in Dynamic Architectures