Publication:3425594

zbMath1108.68083MaRDI QIDQ3425594

Józef Winkowski

Publication date: 26 February 2007

zbMATH Keywords

sequential composition; partial monoid

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)