Perhaps you should try some spelling variations:
"based computation proving concurrent program" » "based computation using concurrent program" (Expand search), "based computation project concurrent program" (Expand search), "based computational protein concurrent program" (Expand search), "based computation during concurrent program" (Expand search), "based computation proving concurrent programs" (Expand search), "based computation proving concurrent programming" (Expand search), "based computational proving concurrent program" (Expand search), "based competition proving concurrent program" (Expand search), "based compilation proving concurrent program" (Expand search)
"using coding python python programming" » "using codigo python python programming" (Expand search), "using codigos python python programming" (Expand search), "using using python python programming" (Expand search), "using coding pythons python programming" (Expand search), "using coding piton python programming" (Expand search), "using coding pitons python programming" (Expand search), "using coping python python programming" (Expand search), "using coating python python programming" (Expand search), "using cooking python python programming" (Expand search)

You may be able to get more results by adjusting your search query.

• Performing a fuzzy search may retrieve terms with similar spellings: (("based computation proving concurrent program") OR ("using coding python python programming"))~.
• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"based computation proving concurrent program\") OR (\"using coding python python programming\"))".
• Removing quotes may allow a broader search: (( based computation proving concurrent program ) OR ( using coding python python programming )).
• Adding a wildcard symbol may retrieve word variants: (("based computation proving concurrent program") OR ("using coding python python programming"))*.