Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP.

Jan Bkgaard Pedersen, Kevin Chalmers

Browse the full ICSE paper archive.