Designing Concurrency Semantics

J. W. de Bakker. Designing Concurrency Semantics. In IFIP Congress. pages 591-598, 1989.

@inproceedings{Bakker89,
  title = {Designing Concurrency Semantics},
  author = {J. W. de Bakker},
  year = {1989},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Bakker89},
  cites = {0},
  citedby = {0},
  pages = {591-598},
  booktitle = {IFIP Congress},
}