Defining a Formal Semantic for Parallel Patterns in the Palladio Component
Model Using Hierarchical Queuing Petri Nets
M. Frank, M. Hakamian, und S. Becker. Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings, Volume 1269 von Communications in Computer and Information Science, Seite 381--394. Springer, (2020)
DOI: 10.1007/978-3-030-59155-7\_28
%0 Conference Paper
%1 DBLP:conf/ecsa/FrankHB20
%A Frank, Markus
%A Hakamian, M. Alireza
%A Becker, Stefen
%B Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings
%D 2020
%E Muccini, Henry
%E Avgeriou, Paris
%E Buhnova, Barbora
%E Cámara, Javier
%E Caporuscio, Mauro
%E Franzago, Mirco
%E Koziolek, Anne
%E Scandurra, Patrizia
%E Trubiani, Catia
%E Weyns, Danny
%E Zdun, Uwe
%I Springer
%K myown from:alirezahakamian pcm fomal qpn
%P 381--394
%R 10.1007/978-3-030-59155-7\_28
%T Defining a Formal Semantic for Parallel Patterns in the Palladio Component
Model Using Hierarchical Queuing Petri Nets
%U https://doi.org/10.1007/978-3-030-59155-7\_28
%V 1269
@inproceedings{DBLP:conf/ecsa/FrankHB20,
added-at = {2023-06-29T07:08:03.000+0200},
author = {Frank, Markus and Hakamian, M. Alireza and Becker, Stefen},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b0ceb018319b07e9607468fdcef46fb1/rss},
booktitle = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
doi = {10.1007/978-3-030-59155-7\_28},
editor = {Muccini, Henry and Avgeriou, Paris and Buhnova, Barbora and C{\'{a}}mara, Javier and Caporuscio, Mauro and Franzago, Mirco and Koziolek, Anne and Scandurra, Patrizia and Trubiani, Catia and Weyns, Danny and Zdun, Uwe},
interhash = {54bad308493030fb11a76b24500a3815},
intrahash = {b0ceb018319b07e9607468fdcef46fb1},
keywords = {myown from:alirezahakamian pcm fomal qpn},
pages = {381--394},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {2023-06-29T07:08:03.000+0200},
title = {Defining a Formal Semantic for Parallel Patterns in the Palladio Component
Model Using Hierarchical Queuing Petri Nets},
url = {https://doi.org/10.1007/978-3-030-59155-7\_28},
volume = 1269,
year = 2020
}