The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

The denotational semantics of sequential machines

The work

AuthorsMichael J. C. Gordon
Editors
Typearticle
Year1980
Citekeygordon1980denotational

Where it appeared

Published inInformation Processing Letters
PublisherElsevier BV
Volume10
Issue1
Pages1--3

Identifiers

DOI10.1016/0020-0190(80)90111-8
OpenAlexW2038863376

Access

Landing pagehttps://doi.org/10.1016/0020-0190(80)90111-8

How it got here

How it got hereagent via openalex
Added2026-10-25 05:22 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

what-a-program-means

Cite it as

@article{gordon1980denotational,
  title        = {The denotational semantics of sequential machines},
  author       = {Michael J. C. Gordon},
  year         = {1980},
  journal      = {Information Processing Letters},
  publisher    = {Elsevier BV},
  volume       = {10},
  number       = {1},
  pages        = {1--3},
  doi          = {10.1016/0020-0190(80)90111-8},
}

This record lives at https://refs.drheap.org/gordon1980denotational/ and will keep doing so.