Towards a calculus for dynamic architectures
type: Item
instance of: scholarly article
title: Towards a calculus for dynamic architectures
zbMATH Open document ID: 1444.68120
DOI: 10.1007/978-3-319-67729-3_6
author: Diego Marmsoler
publication date: 2017-11-03T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6802658
zbMATH Keywords: dynamic architectures
zbMATH Keywords: component calculus
zbMATH Keywords: architecture verification
zbMATH Keywords: configuration traces
zbMATH Keywords: behavior traces
MaRDI profile type: Publication
full work available at URL: 978-3-319-67729-3 6
OpenAlex ID: W2756046501
description: scientific article; zbMATH DE number 6802658