scientific article; zbMATH DE number 3825187

MaRDI QIDQ3670580zbMATH OpenFDO

Authors G. Memmi

Publication date 1983

zbMATH Keywords

minimal deadlock property

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 Q3670580)