A coinductive calculus for asynchronous side-effecting processes

DOI10.1016/j.ic.2013.08.012zbMath1358.68212MaRDI QIDQ393094

Lutz Schröder, Sergei S. Goncharov

Publication date: 16 January 2014

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2013.08.012

zbMATH Keywords

process algebra; coinduction; computational meta-language; computational monad; corecursive scheme

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• HasCasl
• F#