scientific article

zbMATH Open0619.68014MaRDI QIDQ3756505FDOQ3756505

Author name not available (Why is that?)

Publication date: 1985

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

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 (4)

• 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?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• On transformations of concurrent object programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Automatic construction of CSP programs from sequential non-deterministic programs 👍 👎
• On transformations of concurrent-object programs 👍 👎

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)