scientific article; zbMATH DE number 1500527
From MaRDI portal
zbMath0962.68121MaRDI QIDQ4501545
Petr Jančar, Antonín Kučera, Faron Moller
Publication date: 4 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Countdown games, and simulation on (succinct) one-counter nets, Trace Inclusion for One-Counter Nets Revisited, DP lower bounds for equivalence-checking and model-checking of one-counter automata, Trace inclusion for one-counter nets revisited, A generic framework for checking semantic equivalences between pushdown automata and finite-state automata, The complexity of bisimilarity-checking for one-counter processes., A general approach to comparing infinite-state systems with their finite-state specifications
