scientific article; zbMATH DE number 3819071

MaRDI QIDQ3666249zbMATH OpenFDO

Authors Michael Main, David B. Benson

Publication date 1983

zbMATH Keywords

denotational semanticsfree semiring moduleiterated tensor productlinear transformationpredicate transformersweakest preconditions

Mathematics Subject Classification ID

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

Cited in

(4)

• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666249)