Concepedia
International Conference on Logic Programming · 1993 · 20 citations · 0 references
EngineeringAutomated ReasoningConcurrency TheoryFormal MethodsConcurrency (Computer Science)Parallel ProgrammingComputer ScienceConcurrent SystemParallel ComputingFormal VerificationSpeculative Work