scientific article; zbMATH DE number 1088043

From MaRDI portal

Revision as of 23:38, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4364391

Jump to:navigation, search

zbMath0885.03021MaRDI QIDQ4364391

Julian Rathke, Matthew C. B. Hennessy

Publication date: 17 November 1997

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

zbMATH Keywords

liveness safety process logic first-order modal \(\mu\)-calculus local model checking proof system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80)

Related Items (4)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ Parameterised Boolean equation systems ⋮ Compositional verification of asynchronous concurrent systems using CADP ⋮ On bidirectional runtime enforcement

This page was built for publication:

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