Using information systems to solve recursive domain equations
type: Item
instance of: scholarly article
title: Using information systems to solve recursive domain equations
zbMATH Open document ID: 0731.68071
DOI: 10.1016/0890-5401(91)90068-D
author: Kim G. Larsen
author: Glynn Winskel
published in: Information and Computation
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 06B35
zbMATH DE Number: 4209620
zbMATH Keywords: information systems
zbMATH Keywords: recursive domain equations
zbMATH Keywords: complete partial order
MaRDI profile type: Publication
cites work: Q3921168
cites work: Q3893911
cites work: Q3036694
cites work: Q5572358
cites work: Q5639839
cites work: Petri nets, event structures and domains. I
cites work: A Powerdomain Construction
cites work: \(\mathbb{T}^\omega\) as a universal domain
cites work: Q3959414
cites work: Data Types as Lattices
cites work: Q4179849
cites work: Effectively given domains
cites work: The largest Cartesian closed category of domains
cites work: Q3313252
description: scientific article; zbMATH DE number 4209620