( en | de | ru )

 

Disambiguierung von "Bravetti, Mario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Microservice Interface Based Deployment Orchestration.

, , , , , und . CoRR, (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)Process calculi as a tool for studying coordination, contracts and session types., und . J. Log. Algebraic Methods Program., (2020)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)Microservice Interface Based Deployment Orchestration., , , , , und . CoRR, (2020)Discrete time generative-reactive probabilistic processes with different advancing speeds., und . Theor. Comput. Sci., 290 (1): 355-406 (2003)From Theoretical e-barter Models to an Implementation Based on Web Services., , , und . FSEN, Volume 159 von Electronic Notes in Theoretical Computer Science, Seite 241-264. Elsevier, (2005)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)