Specifying Message Passing Systems Requires Extending Temporal Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ron Koymans. Specifying Message Passing Systems Requires Extending Temporal Logic. In PODC. pages 191-204, 1987.

@inproceedings{Koymans87,
  title = {Specifying Message Passing Systems Requires Extending Temporal Logic},
  author = {Ron Koymans},
  year = {1987},
  tags = {logic},
  researchr = {https://researchr.org/publication/Koymans87},
  cites = {0},
  citedby = {0},
  pages = {191-204},
  booktitle = {PODC},
}

runs on WebDSL