Computation calculus = sequential calculus + discreteness and termination

Burghard von Karger. Computation calculus = sequential calculus + discreteness and termination. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 122-126, 1998.

@inproceedings{Karger98:1,
  title = {Computation calculus = sequential calculus + discreteness and termination},
  author = {Burghard von Karger},
  year = {1998},
  tags = {termination},
  researchr = {https://researchr.org/publication/Karger98%3A1},
  cites = {0},
  citedby = {0},
  pages = {122-126},
  booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998},
  editor = {Ewa Orlowska and Andrzej Szalas},
}