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 Information and Computation, vol. 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/~sergey/papers/concurr.pdf},
  doi  = {10.1016/j.ic.2013.08.012}
}
Powered by bibtexbrowser