Specifying concurrent objects as communicating processes

From MaRDI portal
Publication:919839