scientific article; zbMATH DE number 4001452

MaRDI QIDQ4727404zbMATH OpenFDO

Authors Udo Kelter

Publication date 1987

zbMATH Keywords

conflictequivalence of computationsparallel processingresponse timestests

Mathematics Subject Classification ID

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

Recommendations

• Parallel program schemata
• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• scientific article; zbMATH DE number 23767
• Parallel functions in recursive program schemes
• Toward a formal semantic framework for deterministic parallel programming

Cited in

(6)

• Parallel program schemata
• Toward a formal semantic framework for deterministic parallel programming
• scientific article; zbMATH DE number 2087767 (Why is no real title available?)
• Encapsulating non-determinacy in an abstract data type with determinate semantics
• Freeze after writing, quasi-deterministic parallel programming with LVars
• A proof of the determinacy property of the data flow schema

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