scientific article

zbMath0517.68028MaRDI QIDQ3666249

Michael G. Main, David B. Benson

Publication date: 1983

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

zbMATH Keywords

linear transformationdenotational semanticspredicate transformersweakest preconditionsfree semiring moduleiterated tensor product

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Petri nets, algebras, morphisms, and compositionality ⋮ A quantitative interpretation of Girard's System F ⋮ Semantic models for total correctness and fairness ⋮ Semantic models for total correctness and fairness