Algebra of Synchronization with Application to Deadlock and Semaphores.

Ernesto Gomez Keith E. Schubert

Published in: ICNC (2010)

Keyphrases

data structure
database
information retrieval
information systems
decision trees
case study
three dimensional
key technologies