Towards a calculus for dynamic architectures

DOI10.1007/978-3-319-67729-3_6zbMath1444.68120OpenAlexW2756046501MaRDI QIDQ1675795

Diego Marmsoler

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_6

zbMATH Keywords

architecture verificationbehavior tracescomponent calculusconfiguration tracesdynamic architectures

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Interactive verification of architectural design patterns in FACTum

This page was built for publication: Towards a calculus for dynamic architectures