Login / Signup
A Coinductive Calculus for Asynchronous Side-effecting Processes
Sergey Goncharov
Lutz Schröder
Published in:
CoRR (2011)
Keyphrases
</>
real world
database
information retrieval
artificial intelligence
relational databases
computational models
stochastic processes
provably correct