Login / Signup
Correspondence Assertions for Process Synchronization in Concurrent Communications.
Eduardo Bonelli
Adriana B. Compagnoni
Elsa L. Gunter
Published in:
Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
</>
concurrent processes
concurrent programs
database
knowledge base
case study
real time
data sets
feature selection
image sequences
object recognition