A methodology for programming with concurrency: The formalism

From MaRDI portal
Publication:1167528