A coinductive calculus for asynchronous side-effecting processes.

Sergey Goncharov Lutz Schröder

Published in: Inf. Comput. (2013)

Keyphrases

information systems
data mining
multiscale
information technology
process model
stochastic processes
asynchronous circuits