Sergey Goncharov, Lutz Schröder. A Coinductive Calculus for Asynchronous Side-Effecting Processes. In Olaf Owe, Martin Steffen, Jan Arne Telle, editors, Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Volume 6914 of Lecture Notes in Computer Science, pages 276-287, Springer, 2011. [doi]
Abstract is missing.