Reasoning about Recursive Processes in Shared-Variable Concurrency.

Frank S. de Boer

Published in: Concurrency, Compositionality, and Correctness (2010)

Keyphrases

databases
machine learning
artificial intelligence
qualitative reasoning
transaction processing
search algorithm
recursive functions
formal theory
stochastic processes
data flow
process model
fine grained
real time
optimal solution
search engine
genetic algorithm
data sets