Angelic semantics of fine-grained concurrency - Concepedia

Concepedia

Publication | Open Access

Angelic semantics of fine-grained concurrency

DOI Full Paper Access

41

Citations

17

References

2007

Year

Dan R. Ghica, Andrzej S. Murawski

Annals of Pure and Applied Logic

EngineeringAutomated ReasoningConcurrency TheoryAngelic SemanticsFormal MethodsParallel ProgrammingComputer ScienceConcurrent SystemConcurrent Data StructureFormal Verification

References

	Year	Citations

Page 1