Rational index of vector addition systems languages

DOI10.1007/BF00263577zbMath0679.68143OpenAlexW2052146371MaRDI QIDQ1823002

Laurent Pierre, Sylvianne R. Schwer

Publication date: 1989

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263577

zbMATH Keywords

upper boundpolynomialsPetri netslower boundrational indexcontext- free languagesV.A.S. languagesVector Addition System

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Rational index of vector addition systems languages