The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

From MaRDI portal
Publication:5262950