Inproceedings,

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

Meta data

Tags

Users

  • @paves
  • @dblp

Comments and Reviews