Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau

DOI10.1007/978-3-540-75292-9_23zbMath1147.68575OpenAlexW1570087217MaRDI QIDQ3525095

Xin Xin Liu, Hai-Yan Chen

Publication date: 17 September 2008

Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Decidability of Weak Bisimilarity for a Subset of BPA

This page was built for publication: Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau