A coinductive calculus for asynchronous side-effecting processes (bibtex)

by Sergey Goncharov and Lutz Schröder

Reference:

Sergey Goncharov and Lutz Schröder: A coinductive calculus for asynchronous side-effecting processes, In Olaf Owe, Martin Steffen, Jan Arne Telle, eds.: Fundamentals of Computation Theory (FCT 2011), Lecture Notes in Computer Science, vol. 6914, pp. 276–287, Springer, 2011.

Bibtex Entry:

@InProceedings{GoncharovSchroder10,
  author = {Sergey Goncharov and Lutz Schr{\"o}der},
  title = {A coinductive calculus for asynchronous side-effecting processes},
  year = {2011},
  editor = {Olaf Owe and  Martin Steffen and Jan Arne Telle},
  booktitle = {Fundamentals of Computation Theory (FCT 2011)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6914},
  url = {http://arxiv.org/pdf/1104.2936v1},
  pages = {276-287},
}