A structural approach to operational semantics

The work

AuthorsGordon D. Plotkin
Typearticle
Year2004
Citekeyplotkin2004structural

Where it appeared

Published inThe Journal of Logic and Algebraic Programming
PublisherElsevier
Volume60--61
Pages17--139

Identifiers

DOI10.1016/j.jlap.2004.05.001

A copy is held

pdf, 612.1 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereimport via bibtex
Added2026-08-09 00:00 UTC
Approved bya person 2026-08-09 12:34 UTC

Filed under

the-copy-is-not-the-work what-a-program-means

Cite it as

@article{plotkin2004structural,
  title        = {A structural approach to operational semantics},
  author       = {Gordon D. Plotkin},
  year         = {2004},
  journal      = {The Journal of Logic and Algebraic Programming},
  volume       = {60--61},
  pages        = {17--139},
  publisher    = {Elsevier},
  doi          = {10.1016/j.jlap.2004.05.001},
}

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