( en | de | ru )

 

Disambiguierung von "Bravetti, Mario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formal Approach to Microservice Architecture Deployment.

, , , , und . Microservices, Science and Engineering, Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

Weitere Publikationen von Autoren mit dem selben Namen

Real Time and Stochastic Time.. SFM, Volume 3185 von Lecture Notes in Computer Science, Seite 132-180. Springer, (2004)A Theory for Strong Service Compliance., und . COORDINATION, Volume 4467 von Lecture Notes in Computer Science, Seite 96-112. Springer, (2007)Foundations of Coordination and Contracts and Their Contribution to Session Type Theory., und . COORDINATION, Volume 10852 von Lecture Notes in Computer Science, Seite 21-50. Springer, (2018)A Sound Algorithm for Asynchronous Session Subtyping., , , , und . CONCUR, Volume 140 von LIPIcs, Seite 38:1-38:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language., , , , , , und . APLAS, Volume 12470 von Lecture Notes in Computer Science, Seite 105-124. Springer, (2020)Towards the Verification of Adaptable Processes., , , und . ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 269-283. Springer, (2012)Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement., und . EXPRESS, Volume 27 von Electronic Notes in Theoretical Computer Science, Seite 107-126. Elsevier, (1999)Web Services for E-commerce: guaranteeing security access and quality of service., , , und . SAC, Seite 800-806. ACM, (2004)Contract Based Multi-party Service Composition., und . FSEN, Volume 4767 von Lecture Notes in Computer Science, Seite 207-222. Springer, (2007)On the Expressive Power of Process Interruption and Compensation., und . WS-FM, Volume 5387 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2008)