A coinductive calculus for asynchronous side-effecting processes
Under an Elsevier user license
open archive
Keywords
Corecursive scheme
Computational monad
Process algebra
Coinduction
Computational meta-language
Cited by (0)
Copyright © 2013 Elsevier Inc. All rights reserved.