HAL (Le Centre pour la Communication Scientifique Directe) · 2003 · 44 citations · 0 references
ComputingComputer ScienceComputer SystemsDistributed SystemsFault-tolerant SystemsFormal MethodsConcurrency AnalysisConcurrency ControlConcurrent ModelingData SynchronizationDistributed SynchronizationDistributed TransactionsConcurrency ModelsConcurrency SemanticsConcurrency TheoryConcurrent SemanticsModel Checking For ConcurrencyProcess Synchronization PrimitivesSynchronization Semantics