SEARCH Articles Figures Tables Concurrence Concurrency Concurrent Control definition Controllability definition