scientific article

From MaRDI portal

Revision as of 12:52, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3316557

Jump to:navigation, search

zbMath0533.68010MaRDI QIDQ3316557

Amir Pnueli, Jonathan Stavi, Krzysztof R. Apt

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

loops total correctness nested fair selection nondeterministic and concurrent programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (3)

Ten years of Hoare's logic: A survey. II: Nondeterminism ⋮ An investigation of controls for concurrent systems based on abstract control languages ⋮ A taxonomy of fairness and temporal logic problems for Petri nets

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3316557&oldid=16549055"