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

Markus Frank, M. Alireza Hakamian, Stefen Becker

Browse the full ECSA paper archive.