The denotational semantics of sequential machines

DOI10.1016/0020-0190(80)90111-8zbMath0422.68018OpenAlexW2038863376MaRDI QIDQ1133896

Michael J. C. Gordon

Publication date: 1980

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(80)90111-8

zbMATH Keywords

automata theorybehaviourtheory of computationdenotational semantics of sequential machinesrecursively defined function space

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of computing (68Q99)

Cites Work

• Data Types as Lattices
• Unnamed Item

This page was built for publication: The denotational semantics of sequential machines