Publication:3611173
From MaRDI portal
zbMath1174.68459MaRDI QIDQ3611173
Enhong Chen, Xufa Wang, Qinhui Wang
Publication date: 6 March 2009
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)