scientific article; zbMATH DE number 17795

MaRDI QIDQ3975137zbMATH OpenFDO

Authors Ernst-Rüdiger Olderog

Publication date 26 June 1992

zbMATH Keywords

process correctnessreadiness equivalencereadiness semanticssemantic model for process terms

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Correctness of concurrent processes
• scientific article; zbMATH DE number 3872691
• Nets, Terms and Formulas
• scientific article; zbMATH DE number 3902012
• scientific article; zbMATH DE number 51650

Cited in

(5)

• Correctness of concurrent processes
• Two implementation relations and the correctness of communicating replicated processes
• Progress assumption in concurrent systems
• scientific article; zbMATH DE number 4131639 (Why is no real title available?)
• Correspondence assertions for process synchronization in concurrent communications

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