scientific article

From MaRDI portal

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

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

Publication:3309037

Jump to:navigation, search

zbMath0528.68008MaRDI QIDQ3309037

Zohar Manna, Amir Pnueli

Publication date: 1983

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

zbMATH Keywords

invariance liveness precedence temporal properties of concurrent programs unless operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (4)

Méthode axiomatique sur les propriétés de fatalité des programmes parallèles ⋮ Branching versus linear logics yet again ⋮ Unnamed Item ⋮ Verification of concurrent programs: The automata-theoretic framework

This page was built for publication:

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