scientific article; zbMATH DE number 4005586

zbMATH Open0619.68014MaRDI QIDQ3756505FDOQ3756505

Authors:

Publication date: 1985

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

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

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)

Cited In (7)

• A calculus of coroutines
• Axiomatic system for proving the properties of simple multimodule programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributing concurrent Ada programs by source translation
• Title not available (Why is that?)
• Analysis of vectors of coroutines by means of trees

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)