scientific article; zbMATH DE number 3982548

MaRDI QIDQ3746911zbMATH OpenFDO

Authors Carl A. Gunter

Publication date 1986

zbMATH Keywords

category of domainsprogramming semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3950510
• Information categories
• Further properties of the categoriesP_dandS_d
• Event structures and domains
• scientific article; zbMATH DE number 4083878

Cited in

(8)

• Topical categories of domains
• The asymmetric topology of computer science
• scientific article; zbMATH DE number 3950510 (Why is no real title available?)
• Logic of Plotkin continuous domain
• Continuous domains and their information system representation as logical systems
• Spectral sets
• Pluri-adjoints and preservation of finite limits
• Some economic applications of Scott domains

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