What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Leslie Lamport. What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority. In POPL. pages 78-83, 1985.

@inproceedings{Lamport85,
  title = {What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority},
  author = {Leslie Lamport},
  year = {1985},
  researchr = {https://researchr.org/publication/Lamport85},
  cites = {0},
  citedby = {0},
  pages = {78-83},
  booktitle = {POPL},
}

runs on WebDSL