A Model of Dynamic Systems

DOI10.1007/978-3-642-54848-2_3zbMath1417.68022OpenAlexW2110479247MaRDI QIDQ5170742

Manfred Broy

Publication date: 24 July 2014

Published in: From Programs to Systems. The Systems perspective in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54848-2_3

zbMATH Keywords

dynamic systemsmobilityinstantiation

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 problems of computer architecture (68M07) Distributed systems (68M14)

Related Items (2)

Specifying Properties of Dynamic Architectures Using Configuration Traces ⋮ Interactive verification of architectural design patterns in FACTum

Cites Work

• A calculus of mobile processes. I
• Specification and Development of Interactive Systems
• Unnamed Item

This page was built for publication: A Model of Dynamic Systems