Checking Equality and Regularity for Normed BPA with Silent Moves

DOI10.1007/978-3-642-39212-2_23zbMath1335.68171OpenAlexW2131035551MaRDI QIDQ5327437

Yuxi Fu

Publication date: 7 August 2013

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39212-2_23

zbMATH Keywords

basic process algebrabranching bisimilarity

Mathematics Subject Classification ID

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

Related Items (4)

A generic framework for checking semantic equivalences between pushdown automata and finite-state automata ⋮ Theory of interaction ⋮ Unnamed Item ⋮ Bisimilarity on basic parallel processes

This page was built for publication: Checking Equality and Regularity for Normed BPA with Silent Moves