Publication | Closed Access

Distributed execution of communicating sequential process-style concurrency: Golang case study

EngineeringProgram AnalysisConcurrent ProgrammingComputer ArchitectureFormal MethodsConcurrency (Computer Science)Parallel ProgrammingComputer ScienceGolang Case StudyConcurrent SystemParallel ComputingConcurrent Data StructureFormal VerificationSystem Software