The Hoare and Symth power domain constructors commute under composition
type: Item
instance of: scholarly article
title: The Hoare and Symth power domain constructors commute under composition
zbMATH Open document ID: 0699.06008
DOI: 10.1016/0022-0000(90)90008-9
author: Kevin E. Flannery
author: Johannes J. Martin
published in: Journal of Computer and System Sciences
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 4145967
zbMATH Keywords: composition of power domains
zbMATH Keywords: consistently complete algebraic partial orders
zbMATH Keywords: Scott's category of information systems
zbMATH Keywords: double power domains
MaRDI profile type: Publication
full work available at URL: 0022-0000(90)90008-9
OpenAlex ID: W2063819656
cites work: Q5639839
cites work: A Powerdomain Construction
cites work: Q3959414
cites work: Q4124312
cites work: Power domains
cites work: Q3313252
description: scientific article; zbMATH DE number 4145967