@paves

Adaptive Synchronisation of Pushdown Automata

, and . 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of Leibniz International Proceedings in Informatics (LIPIcs), page 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
DOI: 10.4230/LIPIcs.CONCUR.2021.17

Links and resources

Tags

community

  • @paves
  • @dblp
@paves's tags highlighted