Partial Correctness of Exits from Concurrent Structures.

Published in: BIT (1986)

Keyphrases

concurrent execution
data mining
information retrieval
artificial intelligence
information systems
decision making
digital libraries
image structure
complex structures