Meadow Enriched ACP Process Algebras

Jan A. Bergstra, C. A. Middelburg. Meadow Enriched ACP Process Algebras. CoRR, abs/0901.3012, 2009. [doi]

@article{abs-0901-3012,
  title = {Meadow Enriched ACP Process Algebras},
  author = {Jan A. Bergstra and C. A. Middelburg},
  year = {2009},
  url = {http://arxiv.org/abs/0901.3012},
  note = {informal publication},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/abs-0901-3012},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/0901.3012},
}