,

Adaptive Synchronisation of Pushdown Automata

, и .
32nd International Conference on Concurrency Theory (CONCUR 2021), том 203 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
DOI: 10.4230/LIPIcs.CONCUR.2021.17

Метаданные

тэги

Пользователи данного ресурса

  • @paves
  • @dblp

Комментарии и рецензии