scientific article
From MaRDI portal
Publication:3812210
zbMath0662.03017MaRDI QIDQ3812210
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallel computingparallel processingtemporal logicfixed point operatorscompositionality propertiesmodular program structures
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items (4)
Deontic action logic, atomic Boolean algebras and fault-tolerance ⋮ On using temporal logic for refinement and compositional verification of concurrent systems ⋮ A brief history of Timed CSP ⋮ Encapsulating deontic and branching time specifications
This page was built for publication:
