scientific article; zbMATH DE number 7314999

zbMath1455.68105arXiv1010.5565MaRDI QIDQ4963909

Christian Lambertz, Mila E. Majster-Cederbaum

Publication date: 24 February 2021

Full work available at URL: https://arxiv.org/abs/1010.5565

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (1)

Rigorous development of component-based systems using component metadata and patterns

This page was built for publication: