scientific article; zbMATH DE number 3802820

MaRDI QIDQ4746795zbMATHFDO

Authors Józef Winkowski

Publication date 1982

zbMATH Keywords

discrete systemssequential compositionparallel compositionconcurrency of processescondition-event systemspartial algebra of labelled partially ordered setsalgebraic characterization of processes

Mathematics Subject Classification ID

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4746795)