Partial Correctness of Exits from Concurrent Structures - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Sigurd Meldal. Partial Correctness of Exits from Concurrent Structures. BIT, 26(3):295-302, 1986.

@article{Meldal86a,
  title = {Partial Correctness of Exits from Concurrent Structures},
  author = {Sigurd Meldal},
  year = {1986},
  researchr = {https://researchr.org/publication/Meldal86a},
  cites = {0},
  citedby = {0},
  journal = {BIT},
  volume = {26},
  number = {3},
  pages = {295-302},
}

runs on WebDSL