Decidability of Behavioral Equivalences in Process Calculi with Name Scoping

DOI10.1007/978-3-642-29320-7_19zbMath1353.68204OpenAlexW299925633MaRDI QIDQ2894570

Chaodong He, Hongfei Fu, Yuxi Fu

Publication date: 29 June 2012

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_19

Mathematics Subject Classification ID

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

Related Items (1)

The Decidability of the Reachability Problem for CCS!

This page was built for publication: Decidability of Behavioral Equivalences in Process Calculi with Name Scoping