Free semiring-representations and nondeterminism

DOI10.1016/0022-0000(85)90049-2zbMath0608.68012OpenAlexW2060315471MaRDI QIDQ1085968

David B. Benson, Michael G. Main

Publication date: 1985

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(85)90049-2

zbMATH Keywords

program compositionfree representationsnondeterministic \textbf{or}nondeterministic program segmentsyntax for a nondeterministic programming language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Cites Work

• Deterministic and nondeterministic flowchart interpretations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Free semiring-representations and nondeterminism