scientific article; zbMATH DE number 3872690

MaRDI QIDQ3339294zbMATH OpenFDO

Authors Hans-Dieter Burkhard

Publication date 1984

zbMATH Keywords

abstract languagesbehaviourconcurrencycontrol rulesdeadlock avoidancefairnessliveness

Mathematics Subject Classification ID

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

Recommendations

• An investigation of controls for concurrent systems based on abstract control languages
• scientific article; zbMATH DE number 3903989
• scientific article; zbMATH DE number 3978395
• scientific article; zbMATH DE number 3874632
• scientific article; zbMATH DE number 139609

Cited in

(2)

• An investigation of controls for concurrent systems based on abstract control languages
• scientific article; zbMATH DE number 3903989 (Why is no real title available?)

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