( en | de | ru )

 

Disambiguierung von "D'Argenio, Pedro R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reconciling real and stochastic time: the need for probabilistic refinement.

, , , und . Formal Asp. Comput., 24 (4-6): 497-518 (2012)

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.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Francisco Pedrosa Gil

 

Weitere Publikationen von Autoren mit dem selben Namen

Testing timed automata., , und . Theor. Comput. Sci., 254 (1-2): 225-257 (2001)Sampling Distributed Schedulers for Resilient Space Communication., , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 291-310. Springer, (2020)Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems., und . J. Log. Algebraic Methods Program., 56 (1-2): 1-2 (2003)Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules., , und . FoSSaCS, Volume 8412 von Lecture Notes in Computer Science, Seite 289-303. Springer, (2014)From Semantics to Spatial Distribution., , und . LATIN, Volume 1776 von Lecture Notes in Computer Science, Seite 427-436. Springer, (2000)Quantifying Masking Fault-Tolerance via Fair Stochastic Games., , , und . EXPRESS/SOS, Volume 387 von EPTCS, Seite 132-148. (2023)On the verification of probabilistic I/O automata with unspecified rates., und . SAC, Seite 582-586. ACM, (2009)Reconciling real and stochastic time: the need for probabilistic refinement., , , und . Formal Asp. Comput., 24 (4-6): 497-518 (2012)Axiomatising Divergence., , und . ICALP, Volume 2380 von Lecture Notes in Computer Science, Seite 585-596. Springer, (2002)General Distributions in Process Algebra., und . European Educational Forum: School on Formal Methods and Performance Analysis, Volume 2090 von Lecture Notes in Computer Science, Seite 375-430. Springer, (2000)