Language Design Rationale and Semantic Framework for Concurrent Object-Oriented Programming | AMiner