Incremental Development of Deadlock-Free Communicating Systems.

Stephan Kleuker

Published in: TACAS (1997)

Keyphrases

deadlock free
decision support
high dimensional
computer systems
communication channels
database
real time
databases
data mining
intelligent systems