( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Flatness and Complexity of Immediate Observation Petri Nets.

, , и . CONCUR, том 171 из LIPIcs, стр. 45:1-45:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Aline Chanab

Rungroj Chanajaree

Kevin Kennedy

Joel Kennedy

Fionnuala Kennedy

 

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

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent, и . (2021)https://arxiv.org/abs/2108.07510.Parameterized Analysis of Immediate Observation Petri Nets., , и . Petri Nets, том 11522 из Lecture Notes in Computer Science, стр. 365-385. Springer, (2019)#conference.Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction., , и . CoRR, (2024)Observation Petri Nets.. Technical University of Munich, Germany, (2023)Flatness and Complexity of Immediate Observation Petri Nets., , и . CONCUR, том 171 из LIPIcs, стр. 45:1-45:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Efficient Restrictions of Immediate Observation Petri Nets, и . (2020)http://arxiv.org/abs/2007.09189.Verification of Population Protocols with Unordered Data., , , , , и . ICALP, том 297 из LIPIcs, стр. 156:1-156:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)The Complexity of Verifying Population Protocols., , , и . (2019)The Complexity of Verifying Population Protocols., , , и . Distributed Computing, (2021)https://arxiv.org/abs/1912.06578.Parameterized Analysis of Reconfigurable Broadcast Networks., , и . FoSSaCS, том 13242 из Lecture Notes in Computer Science, стр. 61-80. Springer, (2022)