( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Axiomatizability of Priority III: The Return of Sequential Composition.

, , , , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 145-157. CEUR-WS.org, (2019)

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.

Elisabetta Castiglioni

Valentina Villa

Valentina David

Valentina Tischer

Valentina Kutzschebauch

 

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

On the Axiomatizability of Priority III: The Return of Sequential Composition., , , , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 145-157. CEUR-WS.org, (2019)A Function Elimination Method for Checking Satisfiability of Arithmetical Logics., , и . Fundam. Informaticae, 143 (1-2): 51-71 (2016)Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes.. University of Insubria, Italy, (2017)Stark: A tool for the analysis of CPSs robustness., , и . Sci. Comput. Program., (2024)Raiders of the lost equivalence: Probabilistic branching bisimilarity., и . Inf. Process. Lett., (2020)Measuring Adaptability and Reliability of Large Scale Systems., , и . ISoLA (2), том 12477 из Lecture Notes in Computer Science, стр. 380-396. Springer, (2020)A Function Elimination Method for Checking Satisfiability of Arithmetical Logics., , и . CS&P, том 1269 из CEUR Workshop Proceedings, стр. 46-57. CEUR-WS.org, (2014)On the Axiomatisation of Branching Bisimulation Congruence over CCS., , , и . CONCUR, том 243 из LIPIcs, стр. 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On the Axiomatisability of Parallel Composition: A Journey in the Spectrum., , , , и . CONCUR, том 171 из LIPIcs, стр. 18:1-18:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Modal Decomposition on Nondeterministic Probabilistic Processes., , и . CONCUR, том 59 из LIPIcs, стр. 36:1-36:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)