HAL (Le Centre pour la Communication Scientifique Directe) · 2013 · 12 citations · 0 references
ComputingComputer ScienceComputer SystemsDistributed SystemsFormal MethodsProgramming LanguagesConcurrency AnalysisConcurrency VerificationConcurrent ProgrammingConcurrent System VerificationType CheckingType SystemsCompositional VerificationConcurrency SemanticsConcurrent Program VerificationDistributed Systems VerificationFormal SpecificationsProgramming Model DesignSynchronization SemanticsType Inference
International audience