1997 · 15 citations · 0 references
ComputingComputer ScienceComputer SystemsDistributed SystemsFault-tolerant SystemsFormal MethodsConcurrency ControlConcurrent ModelingConcurrent ProgrammingData SynchronizationDistributed Mutual ExclusionDistributed SynchronizationConcurrency ModelsConcurrency SemanticsConcurrency TheoryModel Checking For ConcurrencySynchronization Mechanisms