However, concurrency must be viewed in light of the principles articulated above.
Serdar Taşıran (on leave) Formal verification, concurrency, software engineering tools, transactional memory.
Antonyms
