Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

Peter E. Lauer, Roy H. Campbell. Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Informatica, 7:325, 1977.

@article{LauerC77,
  title = {Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes},
  author = {Peter E. Lauer and Roy H. Campbell},
  year = {1977},
  tags = {semantics, formal semantics, e-science},
  researchr = {https://researchr.org/publication/LauerC77},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {7},
  pages = {325},
}