On the containment problem for deterministic multicounter machine models

DOI10.1016/J.IC.2025.105383MaRDI QIDQ6884278zbMATH OpenFDO

Authors Oscar H. Ibarra, Ian McQuillan

Publication date 15 December 2025

Published in Information and Computation (Search for Journal in Brave)

zbMATH Keywords

determinismPetri netscontainmentmulticounter machinesvector addition systems

Mathematics Subject Classification ID

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: On the containment problem for deterministic multicounter machine models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884278)