::::win:::: and ::::sin::::: Predicate Transformers for Concurrency - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Leslie Lamport. ::::win:::: and ::::sin::::: Predicate Transformers for Concurrency. ACM Transactions on Programming Languages and Systems, 12(3):396-428, 1990.

@article{Lamport90,
  title = {::::win:::: and ::::sin::::: Predicate Transformers for Concurrency},
  author = {Leslie Lamport},
  year = {1990},
  researchr = {https://researchr.org/publication/Lamport90},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {12},
  number = {3},
  pages = {396-428},
}

runs on WebDSL