scientific article; zbMATH DE number 7559503

DOI10.4230/LIPICS.CONCUR.2020.47MaRDI QIDQ5089314zbMATH OpenFDO

Authors Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/2005.03435

zbMATH Keywords

counter netunambiguous automatauniversalityVASS

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Bisimilarity of one-counter processes is PSPACE-complete
• CONCUR 2004 - Concurrency Theory
• Energy and mean-payoff games with imperfect information
• scientific article; zbMATH DE number 3917705 (Why is no real title available?)
• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 2038739 (Why is no real title available?)
• scientific article; zbMATH DE number 7559494 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Infinite-state energy games
• On Büchi one-counter automata
• On path equivalence of nondeterministic finite automata
• On selective unboundedness of VASS
• Petri nets and regular processes
• Reachability in two-dimensional vector addition systems with states is PSPACE-complete
• Simulation problems over one-counter nets
• The covering and boundedness problems for vector addition systems
• Trace inclusion for one-counter nets revisited
• Universal safety for timed Petri nets is PSPACE-complete
• Universality Problem for Unambiguous VASS
• What's decidable about weighted automata?

Cited in

(5)

• scientific article; zbMATH DE number 5226776 (Why is no real title available?)
• Countdown games, and simulation on (succinct) one-counter nets
• Coverability in 2-VASS with one unary counter is in NP
• Dimension-minimality and primality of counter nets
• Two-way one-counter nets revisited

This page was built for publication:

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