A coinductive calculus for asynchronous side-effecting processes (bibtex)
by Sergey Goncharov, Lutz Schröder
Reference:
A coinductive calculus for asynchronous side-effecting processes (Sergey Goncharov, Lutz Schröder), In Fundamentals of Computation Theory (FCT 2011) (Olaf Owe, Martin Steffen, Jan Arne Telle, eds.), Lecture Notes in Computer Science, vol. 6914, 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},
  status = {Reviewed}
}
Powered by bibtexbrowser