The Static Derivation of Concurrency and its Mechanzed Certification.

Christian Lengauer Chua-Huang Huang

Published in: Seminar on Concurrency (1984)

Keyphrases

dynamic analysis
neural network
database systems
third party
concurrency control
data flow
machine learning
expert systems
software engineering
real time
data mining
social networks
decision making
website
multiscale
concurrent execution