Multisets and structural congruence of the pi-calculus with replication

From MaRDI portal
Publication:1274455