scientific article; zbMATH DE number 3980463

MaRDI QIDQ3745259zbMATH OpenFDO

Authors Wolfgang Wechler

Publication date 1985

zbMATH Keywords

algebraic theorydenotational modelssemantics of nondeterministic programs

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3894449
• scientific article; zbMATH DE number 3876560
• Two most nondeterministic programs
• Finite-cofinite program relations
• Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes

Cited in

(12)

• Two most nondeterministic programs
• Repetitions, known or unknown?
• A source of inconsistency in theories of nondeterministic functions
• Note on Rescher's formalization of Aristotelian indeterminism
• scientific article; zbMATH DE number 5917702 (Why is no real title available?)
• scientific article; zbMATH DE number 4016171 (Why is no real title available?)
• scientific article; zbMATH DE number 3846839 (Why is no real title available?)
• Towards separating nondeterminism from determinism
• scientific article; zbMATH DE number 3876560 (Why is no real title available?)
• Finite-cofinite program relations
• Notes on change and nonmonotony
• scientific article; zbMATH DE number 3894449 (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 Q3745259)