Nondeterminacy and recursion via stacks and games
type: Item
instance of: scholarly article
title: Nondeterminacy and recursion via stacks and games
zbMATH Open document ID: 0795.68128
DOI: 10.1016/0304-3975(92)00016-K
author: W. H. Hesselink
published in: Theoretical Computer Science
publication date: 1994-04-05T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 540858
zbMATH Keywords: programming language with recursion
zbMATH Keywords: fixpoint induction
zbMATH Keywords: weakest- precondition
zbMATH Keywords: recursive procedures
zbMATH Keywords: compositional formal semantics
zbMATH Keywords: game- theoretic operational semantics
zbMATH Keywords: unfolding
zbMATH Keywords: stack semantics
MaRDI profile type: Publication
cites work: Duality in specification languages: A lattice-theoretical approach
cites work: Alternation
cites work: Programming as a Discipline of Mathematical Nature
cites work: Q4692630
cites work: Q4343990
cites work: Q3996921
cites work: Programs, Recursion and Unbounded Choice
cites work: Processes and formalisms for unbounded choice
cites work: Q3777424
cites work: Q3996918
cites work: Data refinement by calculation
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: Q3929076
cites work: A lattice-theoretical fixpoint theorem and its applications
full work available at URL: 0304-3975(92)00016-k
OpenAlex ID: W2092038514
Recommended article: Infinite Games, Inductive Definitions and Transfinite Recursion
Recommended article: Infinite Games and Transfinite Recursion of Multiple Inductive Definitions
Recommended article: The complexity of recursion theoretic games
Recommended article: Nondeterminism in Game Semantics via Sheaves
Recommended article: Interpretations of recursion under unbounded nondeterminacy
Recommended article: Q4694275
Recommended article: Dual unbounded nondeterminacy, recursion, and fixpoints
Recommended article: Q3620032
Recommended article: Q3172528
Recommended article: Games and Definability For FPC
description: scientific article; zbMATH DE number 540858