( en | de | ru )

 

Disambiguierung von "Bacci, Giorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Boolean-Valued Semantics for the Stochastic λ-Calculus.

, , , , , und . LICS, Seite 669-678. ACM, (2018)

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.

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

Giorgio Gonnella

 

Weitere Publikationen von Autoren mit dem selben Namen

Measurable Stochastics for Brane Calculus, und . MeCBIC, Volume 40 von EPTCS, Seite 6-22. (2010)Computing Probabilistic Bisimilarity Distances for Probabilistic Automata., , , , , und . Log. Methods Comput. Sci., (2021)Modal Logics for Brane Calculus., und . CMSB, Volume 4210 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2006)Converging from branching to linear metrics on Markov chains., , , und . Math. Struct. Comput. Sci., 29 (1): 3-37 (2019)A Hemimetric Extension of Simulation for Semi-Markov Decision Processes., , , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 339-355. Springer, (2018)Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods., , , , , und . LICS, Seite 1-14. IEEE, (2021)Timed Comparisons of Semi-Markov Processes., , , , und . CoRR, (2017)A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains., , , und . CoRR, (2017)Structural Operational Semantics for Continuous State Probabilistic Processes., und . CMCS, Volume 7399 von Lecture Notes in Computer Science, Seite 71-89. Springer, (2012)On the metric-based approximate minimization of Markov Chains., , , und . J. Log. Algebraic Methods Program., (2018)