( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.

, , и . FoSSaCS, том 8412 из Lecture Notes in Computer Science, стр. 289-303. Springer, (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.

Reinhard Gebler

Wolfgang Gebler

Konrad Gebler

Mark Gebler

Madlen Gebler

 

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

Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics., и . CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 395-409. Springer, (2012)Compositional Metric Reasoning with Probabilistic Process Calculi., , и . FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 230-245. Springer, (2015)SOS specifications for uniformly continuous operators., и . J. Comput. Syst. Sci., (2018)SOS rule formats for convex and abstract probabilistic bisimulations., , и . EXPRESS/SOS, том 190 из EPTCS, стр. 31-45. (2015)On Abstraction of Probabilistic Systems., , , и . ROCKS, том 8453 из Lecture Notes in Computer Science, стр. 87-116. Springer, (2012)Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules., , и . FoSSaCS, том 8412 из Lecture Notes in Computer Science, стр. 289-303. Springer, (2014)Modal Decomposition on Nondeterministic Probabilistic Processes., , и . CONCUR, том 59 из LIPIcs, стр. 36:1-36:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators., и . CONCUR, том 42 из LIPIcs, стр. 155-168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Behavioural Pseudometrics for Nondeterministic Probabilistic Systems., , и . Sci. Ann. Comput. Sci., 32 (2): 211-254 (2022)