Verifying Channel Communication Correctness for a Multi-core Cooperatively Scheduled Runtime Using CSP | IEEE Conference Publication | IEEE Xplore