scientific article
From MaRDI portal
Publication:3347267
zbMath0558.68015MaRDI QIDQ3347267
Krzysztof R. Apt, Ernst-Ruediger Olderog
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
livenesstransformationssemanticsimpartialityweak and strong fairnessParallel programs with shared variablessyntax-directed correctness proofs
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (4)
Fairness and the axioms of control predicates ⋮ Infinite trees, markings, and well-foundedness ⋮ Strong fairness and ultra metrics ⋮ A taxonomy of fairness and temporal logic problems for Petri nets
This page was built for publication:
