Development of concurrent structural decentralised discrete event system using bisimulation concept

From MaRDI portal