When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
From MaRDI portal
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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
- Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems
- scientific article; zbMATH DE number 2087001
- Structural reconfiguration of systems under behavioral adaptation
- Structure, context and replication in a spatial-temporal architecture
- Configuration and dynamic reconfiguration of components using the coordination paradigm
- Component reconfiguration in the presence of conflicts
- Automated Technology for Verification and Analysis
Cited in
(6)- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
- Decision problems in a logic for reasoning about reconfigurable distributed systems
- Synthesizing structural and behavioral control for reconfigurations in component-based systems
- scientific article; zbMATH DE number 1956478 (Why is no real title available?)
- Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems
- Recent Trends in Algebraic Development Techniques
This page was built for publication: When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647842)
