scientific article; zbMATH DE number 3874632

zbMATH Open0548.68063MaRDI QIDQ3340171FDOQ3340171

Authors: Hans-Dieter Burkhard 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

controlsabstract languagesfinite transition systems

Mathematics Subject Classification ID

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

Cited In (7)

• Deadlock and fairness in morphisms of transition systems
• Title not available (Why is that?)
• An investigation of controls for concurrent systems based on abstract control languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)