( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.

, , и . Theor. Comput. Sci., (2014)

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.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Susanne Pedrotti

 

Другие публикации лиц с тем же именем

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