Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions

Artiom Alhazov, Marion Oswald, Rudolf Freund, Sergey Verlan. Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundamenta Informaticae, 91(1):17-34, 2009. [doi]

@article{AlhazovOFV09,
  title = {Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions},
  author = {Artiom Alhazov and Marion Oswald and Rudolf Freund and Sergey Verlan},
  year = {2009},
  doi = {10.3233/FI-2009-0031},
  url = {http://dx.doi.org/10.3233/FI-2009-0031},
  tags = {rule-based, rules, partitioning},
  researchr = {https://researchr.org/publication/AlhazovOFV09},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {91},
  number = {1},
  pages = {17-34},
}