A Specification Structure for Deadlock-Freedom of Synchronous Processes.

Samson Abramsky Simon J. Gay Rajagopal Nagarajan

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

Keyphrases

high level
information retrieval
search engine
real time
computer vision
feature selection
optimal solution
natural language
hidden markov models
computational models
graph structure