scientific article; zbMATH DE number 4092754

MaRDI QIDQ3819989zbMATH OpenFDO

Authors Michael Main

Publication date 1987

zbMATH Keywords

bibliographyconcurrent computationscorrectnessdomain theoryfreely generatedmorphismnondeterminismpartial order semanticspowerdomains

Mathematics Subject Classification ID

Partial orders, general (06A06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3954251
• scientific article; zbMATH DE number 3843129
• scientific article; zbMATH DE number 3915610
• On powerdomains and modality
• scientific article; zbMATH DE number 4005585

Cited in

(4)

• A note on fuzzy power relations
• scientific article; zbMATH DE number 3856436 (Why is no real title available?)
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)
• The disjunctive constrained lambda calculus

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