Concurrency in Synchronous Systems.

Dumitru Potop-Butucaru Benoît Caillaud Albert Benveniste

Published in: Formal Methods Syst. Des. (2006)

Keyphrases

database systems
management system
databases
data mining
concurrency control
data flow
technological advances
real time
artificial intelligence
computer vision
decision making
distributed systems
learning systems
complex systems
asynchronous communication