scientific article; zbMATH DE number 4005585

MaRDI QIDQ3756504zbMATH OpenFDO

Authors Michael Main

Publication date 1986

zbMATH Keywords

semanticssemiring modulePowerdomainsfree CPO-modulesemantic analysis of nondeterminism

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 33416
• scientific article; zbMATH DE number 883894
• scientific article; zbMATH DE number 3843129
• scientific article; zbMATH DE number 3915610
• Power domain constructions

Cited in

(9)

• scientific article; zbMATH DE number 4092754 (Why is no real title available?)
• scientific article; zbMATH DE number 3843129 (Why is no real title available?)
• Moduloïds and pseudomodules. I: Dimension theory
• scientific article; zbMATH DE number 2079041 (Why is no real title available?)
• scientific article; zbMATH DE number 4039908 (Why is no real title available?)
• Power domains and second-order predicates
• scientific article; zbMATH DE number 3902043 (Why is no real title available?)
• scientific article; zbMATH DE number 33416 (Why is no real title available?)
• Free semiring-representations and nondeterminism

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 Q3756504)