Accommodating Interference in the Formal Design of Concurrent Object-Based Programs.

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

Keyphrases

concurrent programs
databases
concurrent programming
concurrent execution
real time
machine learning
decision trees
evolutionary algorithm
object oriented
answer sets
multipath
fixpoint
mutual exclusion
control structures
power line