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 temporal semantics of concurrent programs

The work

AuthorsAmir Pnueli
Editors
Typearticle
Year1981
Citekeypnueli1981temporal

Where it appeared

Published inTheoretical Computer Science
PublisherElsevier BV
Volume13
Issue1
Pages45--60

Identifiers

DOI10.1016/0304-3975(81)90110-9
OpenAlexW1970603830

Access

Landing pagehttps://doi.org/10.1016/0304-3975(81)90110-9
Free full texthttps://www.sciencedirect.com/science/article/pii/0304397581901109/pdf

How it got here

How it got hereagent via openalex
Added2026-10-23 01:24 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

tcs what-a-program-means

Cite it as

@article{pnueli1981temporal,
  title        = {The temporal semantics of concurrent programs},
  author       = {Amir Pnueli},
  year         = {1981},
  journal      = {Theoretical Computer Science},
  publisher    = {Elsevier BV},
  volume       = {13},
  number       = {1},
  pages        = {45--60},
  doi          = {10.1016/0304-3975(81)90110-9},
}

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