scientific article; zbMATH DE number 4005586

MaRDI QIDQ3756505zbMATHFDO

Authors

Publication date 1985

zbMATH Keywords

semanticscorrectness of the translationtranslation of determinate distributed programs into the sequential ones

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3900138
• On transformations of concurrent object programs
• scientific article; zbMATH DE number 4064498
• Automatic construction of CSP programs from sequential non-deterministic programs
• On transformations of concurrent-object programs

Cited in

(7)

• scientific article; zbMATH DE number 3876569 (Why is no real title available?)
• Analysis of vectors of coroutines by means of trees
• Distributing concurrent Ada programs by source translation
• scientific article; zbMATH DE number 3960981 (Why is no real title available?)
• Axiomatic system for proving the properties of simple multimodule programs
• A calculus of coroutines
• scientific article; zbMATH DE number 3900138 (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 Q3756505)