A continuous semantics for unbounded nondeterminism
type: Item
instance of: scholarly article
title: A continuous semantics for unbounded nondeterminism
zbMATH Open document ID: 0498.68005
DOI: 10.1016/0304-3975(83)90055-5
published in: Theoretical Computer Science
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3786108
zbMATH Keywords: iterative programming language
zbMATH Keywords: denotational semantic for programming languages
zbMATH Keywords: operational semantics
zbMATH Keywords: program execution trees
author: Ralph-Johan Back
MaRDI profile type: Publication
full work available at URL: 0304-3975(83)90055-5
OpenAlex ID: W2073622611
cites work: Q3917476
cites work: Q3898009
cites work: Proving total correctness of nondeterministic programs in infinitary logic
cites work: Q4144761
cites work: Q3899466
cites work: Q4184269
cites work: Q4192046
cites work: Programming as a Discipline of Mathematical Nature
cites work: Semantics of nondeterminism, concurrency, and communication
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q3857704
cites work: Q3906397
cites work: A Powerdomain Construction
cites work: Q4195918
Wikidata QID: Q127343003
description: scientific article; zbMATH DE number 3786108