scientific article; zbMATH DE number 3947603

MaRDI QIDQ3718133zbMATH OpenFDO

Authors D. Frutos Escrig

Publication date 1986

zbMATH Keywords

probabilistic generating treesprobabilistic powerdomainsprobability distributionSFP

Mathematics Subject Classification ID

Special categories (18B99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Probabilistic power domains, information systems, and locales
• scientific article; zbMATH DE number 4179422
• scientific article; zbMATH DE number 1456958
• A note on probabilistic powerdomains
• scientific article; zbMATH DE number 1231645

Cited in

(9)

• Probabilistic Ianov's schemes
• A representation of SFP
• Probabilistic observations and valuations (extended abstract)
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 4050957 (Why is no real title available?)
• Characterizations of semantic domains for randomized algorithms
• scientific article; zbMATH DE number 1456958 (Why is no real title available?)
• Probabilistic power domains, information systems, and locales
• A construction of free dcpo-cones

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