( en | de | ru )

 

Disambiguation of "Bernardo, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Combining stochastic process algebras and queueing networks for software architecture analysis.

, , and . Workshop on Software and Performance, page 190-202. ACM, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bernardo

Bernardo Fritzsche

Sergio Bernardo

Monika Marcotty

Johannes Marcour

 

Other publications of authors with the same name

A scalable approach to the design of SW architectures with dynamically create/destroyed components., and . SEKE, page 255-262. ACM, (2002)An Algebra-Based Method to Associate Rewards with EMPA Terms.. ICALP, volume 1256 of Lecture Notes in Computer Science, page 358-368. Springer, (1997)Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders., and . FMOODS, volume 4468 of Lecture Notes in Computer Science, page 269-284. Springer, (2007)A Survey of Markovian Behavioral Equivalences.. SFM, volume 4486 of Lecture Notes in Computer Science, page 180-219. Springer, (2007)A Theory of Testing for Markovian Processes., and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 305-319. Springer, (2000)ULTraS at work: Compositionality metaresults for bisimulation and trace semantics.. J. Log. Algebraic Methods Program., (2018)Integrating Two Towers and GreatSPN., , and . ICALP Satellite Workshops, page 551-564. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Editorial for the Special Issue on Open Problems in Concurrency Theory., , and . J. Log. Algebraic Methods Program., 84 (6): 731 (2015)Non-bisimulation-based Markovian behavioral equivalences.. J. Log. Algebraic Methods Program., 72 (1): 3-49 (2007)Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes., , and . Log. Methods Comput. Sci., (2014)