Weakest Precondition Semantics for Time and Concurrency - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

David Scholefield, Hussein S. M. Zedan. Weakest Precondition Semantics for Time and Concurrency. Inf. Process. Lett., 43(6):301-308, 1992.

@article{ScholefieldZ92:0,
  title = {Weakest Precondition Semantics for Time and Concurrency},
  author = {David Scholefield and Hussein S. M. Zedan},
  year = {1992},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ScholefieldZ92%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {43},
  number = {6},
  pages = {301-308},
}

runs on WebDSL