scientific article; zbMATH DE number 139633

MaRDI QIDQ4029613zbMATH OpenFDO

Authors Marisa Venturini Zilli

Publication date 28 March 1993

zbMATH Keywords

algorithmic logicfair-wellfoundedness of while-programsnondeterministic assignments

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• While-programs with nondeterministic assignments and the logic ALNA
• scientific article; zbMATH DE number 3967908
• scientific article; zbMATH DE number 4123706
• scientific article; zbMATH DE number 3957062
• scientific article; zbMATH DE number 234027
• Bounded nondeterminism of logic programs
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
• A logic for the description of non-deterministic programs and their properties
• The algebra of non-deterministic programs: demonic operations, orders and axioms
• The expressive power of fixed-point logic with counting

Cited in

(5)

• Countable nondeterminism and random assignment
• While-programs with nondeterministic assignments and the logic ALNA
• Infinite trees, markings, and well-foundedness
• scientific article; zbMATH DE number 3938533 (Why is no real title available?)
• scientific article; zbMATH DE number 3967908 (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 Q4029613)