Publication | Closed Access

Metric semantics for concurrency

EngineeringData ScienceConcurrent ProgrammingFormal MethodsParallel ProgrammingComputer ScienceMetric SemanticsConcurrency ControlParallel ComputingConcurrent SystemSoftware AnalysisFormal Verification