scientific article
From MaRDI portal
Publication:3725528
zbMath0594.68018MaRDI QIDQ3725528
Amir Pnueli, Ruurd Kuiper, Howard Barringer
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program specificationtemporal semanticsdynamic process creationtotal correctnessCSP-like languagecompositional temporal proof systemdynamic network of processesliveness aspects of synchronised message based communicationprogram correctness proofs
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Adequacy and complete axiomatization for timed modal logic ⋮ Denotational semantics of communicating sequential programs ⋮ Specification and top-down design of distributed systems ⋮ Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ Expressiveness of propositional projection temporal logic with star ⋮ On hierarchically developing reactive systems ⋮ Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities ⋮ A model checker for linear time temporal logic
This page was built for publication:
