scientific article; zbMATH DE number 3960981

zbMATH Open0596.68029MaRDI QIDQ3730007FDOQ3730007

Authors: Dieter Zöbel 

Publication date: 1986

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

Recommendations

• scientific article; zbMATH DE number 3903951
• scientific article; zbMATH DE number 3938558
• Correctness of program transformations as a termination problem
• scientific article; zbMATH DE number 2016070
• Transition invariants and transition predicate abstraction for program termination
• Automatic termination analysis for functional and imperative programs (Thesis, TU Darmstadt)
• Execution termination and computation determinacy of data-flow program nets
• scientific article; zbMATH DE number 4005586
• Distributed algorithms for static and dynamic termination detection

zbMATH Keywords

CSPprogramming languagedistributedcomputationstermination detectioncommunicating sequential processesdeadlockprimitivesdistributed computationsprogram-transforms

Mathematics Subject Classification ID

Theory of operating systems (68N25)

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