Life-cycle inheritance
From MaRDI portal
Publication:6487369
DOI10.1007/3-540-63139-9_30zbMath1510.68073WikidataQ57006214 ScholiaQ57006214MaRDI QIDQ6487369
Twan Basten, Wil M. P. van der Aalst
Publication date: 9 December 2022
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Life-cycle inheritance
