scientific article; zbMATH DE number 2042797

zbMath1109.68527MaRDI QIDQ4450645

Hong Liu, Chuang Lin, Jian-Ping Wu

Publication date: 15 February 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synchronous transition equivalent decomposition

Mathematics Subject Classification ID

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

This page was built for publication: