scientific article; zbMATH DE number 3876560

zbMATH Open0549.68006MaRDI QIDQ3341863FDOQ3341863

Authors: Pedro Guerreiro 

Publication date: 1984

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

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

zbMATH Keywords

program developmentrelational semantics of non-deterministic programs

Mathematics Subject Classification ID

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

Cited In (12)

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