New Methods of Concurrent Checking | lit.salon