Publication:4746795
From MaRDI portal
zbMath0508.68038MaRDI QIDQ4746795
Publication date: 1982
discrete systems; sequential composition; parallel composition; concurrency of processes; condition-event systems; partial algebra of labelled partially ordered sets; algebraic characterization of processes
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)