Full Abstraction Without Synchronization Primitives.

Andrzej S. Murawski

Published in: MFPS (2010)

Keyphrases

high level
low level
concurrent processes
data abstraction
reinforcement learning
state abstraction
real time
information retrieval
image processing
three dimensional
hidden markov models
object model
decision theoretic planning
music score
phase locked