Correctness of Concurrent Processes.

Ernst-Rüdiger Olderog

Published in: Theor. Comput. Sci. (1991)

Keyphrases

concurrent processes
concurrent programs
petri net
databases
data mining
information systems
decision making
search engine
database systems
relational databases
integrity constraints