scientific article; zbMATH DE number 3876560

MaRDI QIDQ3341863zbMATH OpenFDO

Authors Pedro Guerreiro

Publication date 1984

zbMATH Keywords

program developmentrelational semantics of non-deterministic programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3894449
• scientific article; zbMATH DE number 3936484
• scientific article; zbMATH DE number 3846839
• scientific article; zbMATH DE number 3980463
• Two most nondeterministic programs

Cited in

(12)

• Non-deterministic data types: Models and implementations
• Two most nondeterministic programs
• Repetitions, known or unknown?
• A semantics for a class of non-deterministic and causal production system programs
• Layout randomization and nondeterminism
• Methods for controlled execution of nondeterministic communicating programs
• Non-deterministic expressions and predicate transformers
• Counting successes: effects and transformations for non-deterministic programs
• scientific article; zbMATH DE number 3876562 (Why is no real title available?)
• Functional behavior of nondeterministic and concurrent programs
• scientific article; zbMATH DE number 3980463 (Why is no real title available?)
• 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 Q3341863)