Concepedia
1979 · 22 citations · 0 references
ComputingComputer EngineeringComputer ScienceProgramming LanguagesData SynchronizationData-flow AnalysisPredicate LogicSynchronization PrimitivesPredicate AnalysisProcess Synchronization PrimitivesSynchronization AlgorithmsSynchronization Semantics