scientific article; zbMATH DE number 3982548

zbMATH Open0607.68064MaRDI QIDQ3746911FDOQ3746911

Authors: Carl A. Gunter 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Topical categories of domains
• The asymmetric topology of computer science
• Title not available (Why is that?)
• 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)