Trimming the Hedges: An Algebra to Tame Concurrency

Georg Struth. Trimming the Hedges: An Algebra to Tame Concurrency. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 317-346, ACM / Morgan & Claypool, 2021. [doi]

@incollection{Struth21,
  title = {Trimming the Hedges: An Algebra to Tame Concurrency},
  author = {Georg Struth},
  year = {2021},
  doi = {10.1145/3477355.3477370},
  url = {https://doi.org/10.1145/3477355.3477370},
  researchr = {https://researchr.org/publication/Struth21},
  cites = {0},
  citedby = {0},
  pages = {317-346},
  booktitle = {Theories of Programming: The Life and Works of Tony Hoare},
  editor = {Cliff B. Jones and Jayadev Misra},
  publisher = {ACM / Morgan & Claypool},
  isbn = {978-1-4503-8728-6},
}