A Coinductive Calculus for Asynchronous Side-Effecting Processes.

Sergey Goncharov Lutz Schröder

Published in: FCT (2011)

Keyphrases

asynchronous communication
evolutionary algorithm
process model
e learning
database systems
search algorithm
artificial neural networks
computational models
stochastic processes
natural deduction