( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

, , и . Foundations of Software Science and Computation Structures - 24th International Conference, том 12650 из Lecture Notes in Computer Science, стр. 42--61. Springer, (2021)
DOI: 10.1007/978-3-030-71995-1_3

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.

Peter Raskin

Gisela Raskin

Richard Raskin

Heinrich Raskin

Katrin Raskin

 

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

The Complexity of Reachability in Affine Vector Addition Systems with States., и . Log. Methods Comput. Sci., (2021)Affine Extensions of Integer Vector Addition Systems with States., , , и . Log. Methods Comput. Sci., (2021)On the Flatness of Immediate Observation Petri Nets., и . CoRR, (2020)Protocols with constant local storage and unreliable communication.. Theor. Comput. Sci., 940 (Part): 269-282 (2023)A Linear Lower Bound for Incrementing a Space-Optimal Integer Representation in the Bit-Probe Model.. ICALP, том 80 из LIPIcs, стр. 88:1-88:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Abduction of trap invariants in parameterized systems., , и . GandALF, том 346 из EPTCS, стр. 1-17. (2021)Computing Parameterized Invariants of Parameterized Petri Nets., , и . Petri Nets, том 12734 из Lecture Notes in Computer Science, стр. 141-163. Springer, (2021)Regular Model Checking Upside-Down: An Invariant-Based Approach., , и . CONCUR, том 243 из LIPIcs, стр. 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)The Complexity of Verifying Population Protocols., , , и . (2019)The complexity of verifying population protocols., , , и . Distributed Comput., 34 (2): 133-177 (2021)