scientific article; zbMATH DE number 3874632

MaRDI QIDQ3340171zbMATH OpenFDO

Authors Hans-Dieter Burkhard

Publication date 1984

zbMATH Keywords

abstract languagescontrolsfinite transition systems

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

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

Cited in

(7)

• An investigation of controls for concurrent systems based on abstract control languages
• Deadlock and fairness in morphisms of transition systems
• scientific article; zbMATH DE number 3872690 (Why is no real title available?)
• scientific article; zbMATH DE number 3903989 (Why is no real title available?)
• scientific article; zbMATH DE number 3990885 (Why is no real title available?)
• scientific article; zbMATH DE number 139609 (Why is no real title available?)
• scientific article; zbMATH DE number 1836386 (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 Q3340171)