Concepedia
1996 · 378 citations · 0 references
ComputingComputer ScienceComputer SystemsAlgebraFormal MethodsProgramming LanguagesAbstract Syntax TreesConcurrency AnalysisConcurrent ModelingConcurrent ProgrammingFunctional ProgrammingSynchronization PrimitivesConcurrency Semantics
No abstract available.