Constrained dynamic tree networks

DOI10.1007/978-3-030-00250-3_4OpenAlexW2889459478MaRDI QIDQ1798908

Matthew Hague, Vincent Penelle

Publication date: 23 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00250-3_4

zbMATH Keywords

model-checkingconcurrencyalternationdynamic networkspushdown systemshigher-ordercollapsible pushdown systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Constrained dynamic tree networks