scientific article
From MaRDI portal
Publication:3313252
zbMath0531.68001MaRDI QIDQ3313252
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
powerdomainstemporal logicdenotational semanticsnondeterminismmodal operatorscomplete partial ordersnondeterministic computations
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)
Related Items
The Hoare and Symth power domain constructors commute under composition, Observation equivalence as a testing equivalence, Topology, domain theory and theoretical computer science, Clausal logic and logic programming in algebraic domains, Using information systems to solve recursive domain equations
