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

Reference:

Sergey Goncharov and Lutz Schröder: A coinductive calculus for asynchronous side-effecting processes, In Information and Computation, 231(0), pp. 204 – 232, 2013.

Bibtex Entry:

@Article{	  GoncharovSchroder13,
  author	= {Sergey Goncharov and Lutz Schr{\"o}der},
  title		= "A coinductive calculus for asynchronous side-effecting
		  processes ",
  journal	= "Information and Computation ",
  volume	= "231",
  number	= "0",
  pages		= "204 - 232",
  year		= "2013",
  url = {http://www8.informatik.uni-erlangen.de/ext/sergey/papers/concurr.pdf},
  doi  = {10.1016/j.ic.2013.08.012}
}