When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations

DOI10.1007/978-3-642-32759-9_16zbMath1372.68169OpenAlexW70752495MaRDI QIDQ4647842

Julien Dormoy, Arnaud Lanoix, Olga Kouchnarenko

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

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

This page was built for publication: When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations