Deciding bisimulation and trace equivalences for systems with many identical processes

DOI10.1007/bfb0015435zbMath1512.68177MaRDI QIDQ6487976

Hsu-Chun Yen, Ta-Pang Lao, Shi-Tsuen Jian

Publication date: 21 March 2023

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Deciding bisimulation and trace equivalences for systems with many identical processes