( en | de | ru )

 

Disambiguation of "Bernardo, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Giving a net semantics to Markovian process algebra.

, , and . PNPM, page 169-178. IEEE Computer Society, (1995)

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)A Theory of Testing for Markovian Processes., and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 305-319. Springer, (2000)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)Integrating Two Towers and GreatSPN., , and . ICALP Satellite Workshops, page 551-564. Carleton Scientific, Waterloo, Ontario, Canada, (2000)A Survey of Markovian Behavioral Equivalences.. SFM, volume 4486 of Lecture Notes in Computer Science, page 180-219. Springer, (2007)Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time., and . MTCS, volume 39 of Electronic Notes in Theoretical Computer Science, page 197-230. Elsevier, (2000)Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities., and . GandALF, volume 390 of EPTCS, page 67-81. (2023)On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity., and . ICTCS, volume 3587 of CEUR Workshop Proceedings, page 44-58. CEUR-WS.org, (2023)Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems., , and . WICSA, page 77-86. IEEE Computer Society, (2001)