Grounding Synchronous Deterministic Concurrency in Sequential Programming.

Joaquín Aguado Michael Mendler Reinhard von Hanxleden Insa Fuhrmann

Published in: ESOP (2014)

Keyphrases

asynchronous communication
programming language
concurrent programming
database systems
data flow
programming environment
real time
website
hidden markov models
concurrency control
black box
object oriented programming
neural network
information retrieval
randomized algorithms
relaxation algorithm