Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets

von Frank, Markus
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)